モナド則(Haskell)
Haskell
,
モナド(Haskell)
code:monad.hs
(return x) >>= f == f x
m >>= return == m
(m >>= f) >>= g == m >>= (\x -> f x >>= g)