Monad についてのまとめてみた。(間違ったことをいっているかもしれないけど。) * Monad m は Applicative Functor で以下を満たすもの * 以下の関数をもつ。 1. (>>=) :: m a -> (a -> m b) -> m b 2. (>>) :: m a -> m b -> m b 3. return :: a -> m a 4. …