[Haskell-cafe] Monad laws (Was: Investing in languages (Was: What is your favourite Haskell "aha" moment?))

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Thu Jul 12 06:42:35 UTC 2018

> the monad laws are too hard to read.

FWIW the monad laws are not hard to *read* if written in this form

    return >=> f = f
    f >=> return = f
    (f >=> g) >=> h = f >=> (g >=> h)

(Whether they're easy to *understand* in that form is another matter.)

More information about the Haskell-Cafe mailing list