Skip to main content
2 / 3
本文に 2 文字追加

Haskellの(>>=)におけるモナド則の適用について

https://ja.wikibooks.org/wiki/Haskell/%E5%9C%8F%E8%AB%96
fmapjoinを使ったモナド則としてjoin . fmap (fmap f) = fmap f . joinというものがあります。
ここで(>>=)の定義はx >>= f = join (fmap f x)なので、
(>>=)を使った計算に対してm >>= f >>= g = join . join . fmap (fmap g) . fmap fという変換ができることになると思います。つまりjoinを後からまとめて行うという変換です。
これは(>>=)をいくつ繋げても同じように変換可能ですが、そもそもこの形のモナド則をf :: a -> m bのような関数に適用していいのでしょうか?
説明での前提はf :: a -> bの関数のようですが。