前回定義した圏論の Monad となるトリプレット (T, η, μ）から逆に、Haskell の Monad を構成するとこうなります。(Monad 則をつかってごにょごにょ計算すると分かります。） x >>= f := (μ.Tf)(x) return x := η(x) f:a->T a (Haskell的に言うと f:a->m a)…