Functor, Applicative, Monad

ファンクタは関数を文脈付きの値に適用できるようにする仕組み

Applicativeは、ファンクタを多変数の関数に拡張したものである

モナドは、文脈つきの返り値を返す関数を組み合わせる簡潔な方法を提供する

それを返す関数がモノイドになるように、適切な合成が定義された型生成子である。

Applicativeは一つの関数を複数の文脈付きの値に適用できる

モナドは一つの値に複数の関数を次々に適用していくむ