Monad と自然変換

Menu Menu

Haskell にある Monad で、

    η
    μ

の定義を Haskell あるいは、擬似的なコードで表し、それが自然変換であること、さらに、Monad の条件

   μ○Tη = 1_T = μ○ηT
   μ○μT  = μ○Tμ

を満たしていることを調べよ。

それらの条件が Monad に提供している性質について考察せよ。