I wrote:
It is nice that you gave proofs of the >>= monad laws in terms of the join monad laws... Maybe give the proofs in the opposite direction as an exercise.
David House wrote:
Yes, they are, here are my proofs:... I've added the suggested exercise.
Alas, too late - you've published the solutions! :) Regards, Yitz _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe