2014-09-02 state monad monad の インスタンス 定義に >>= と return に 型構成子 が必要となる Functor と Monad の関係が 圏論 と 異なってるのか?