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