Comment on Exotic List MonadsparentComments−mjhoy5yI don't think that holds for left identity: pure a >>= f ≡ f a−klodolph5yExactly, and the right identity is also violated: m >>= pure ≡ m−uryga5yahh right! serves me right, i should've spent more than 10 secs checking−klodolph5yEveryone 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.
Comments
I don't think that holds for left identity:
Exactly, and the right identity is also violated:
ahh right! serves me right, i should've spent more than 10 secs checking
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.