[mjhoy]

I don't think that holds for left identity:

    pure a >>= f ≡ f a

[klodolph]

Exactly, and the right identity is also violated:

    m >>= pure ≡ m

[uryga]

ahh right! serves me right, i should've spent more than 10 secs checking

[klodolph]

Everyone experiences this in Haskell, where you make some statement online and then someone tells you some way in which it’s incorrect.

I’m sure most real-world Haskell programs are “incorrect” in some way.