Comment by mjhoy

I don't think that holds for left identity:

    pure a >>= f ≡ f a