みなさん、丁寧に教えてくれてありがとう。
一気には咀嚼できないのでこのへんでちょっと読み返してみます。
あともうひとつ。Function, Functor, Applicative, Monadと来てるが、
これで一揃い出尽くしているの？