sequenceA
Traversable型クラスのmethodの1つ
sequence関数のApplicative版
sequence関数の一般化
sequenceAの「A」は、Applicativeのソレだね
定義
hssequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)
sequenceA = traverse idデータ構造
t と計算コンテナ f を入れ替えているtraverseでは要素を舐めていく時に、
各要素に
f を適用するが、 sequenceA の場合は何もしないので id を渡している