[Haskell-cafe] Article review: Category Theory

[Yitzchak Gale]

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.

-Yitz