Effective Haskell: Left identity monad law (ch. 9, p. 284, pdf, B2.0)

Community PragProg Customers
,
1

The “identity (left)” law is listed as

return a >>= m = m s

but should probably be

return a >>= m = m a

Otherwise the s is left unexplained.

1 Like