[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