これができるとMonadやApplicativeをProtocolとして宣言できるようになりますが、現在はないので (edited)

12:45 AM

Sequenceのmap/flatMapはArray<T>へ変換されてますね