[Haskell-cafe] Article review: Category Theory

Yitzchak Gale gale at sefer.org
Fri Jan 19 07:06:33 EST 2007

Hmm. I wrote:

> for simplicity, we will ignore these distinctions

But do we really want to do that? Are the "monads"
that we use every day in Haskell really monads
if we check the axioms using (.!) instead of (.)
as we should? I'm not so sure anymore...

Maybe this is the explanation of the problems we
have been discussing recently about strictness
in the MTL monads.


More information about the Haskell-Cafe mailing list