6 ms·

I don't think that holds for left identity: pure a >>= f ≡ f a

• klodolph 6y ago
  Exactly, and the right identity is also violated: m >>= pure ≡ m
  • uryga 6y ago
    ahh right! serves me right, i should've spent more than 10 secs checking
    • klodolph 6y ago
      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.
• deleted 6y ago
  [deleted]