メモ: Functor・Applicative・Monadについて別途捕捉する

[igrep]

mmlhの課題には書かず、別途Haskell-jp Blogの記事などに書く

• do記法でわかるFunctor則・Applicative則・Monad則
• pureとreturn、*>と>>の話（+ <* や $> にも触れましょうかね）