New posts in equational-reasoning

If return a = return b then does a=b?

haskell monads semantics equality equational-reasoning