[Haskell-cafe] Article review: Category Theory

Yitzchak Gale gale at sefer.org
Wed Jan 17 18:02:29 EST 2007

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! :)


More information about the Haskell-Cafe mailing list