19 Jan
2007
19 Jan
'07
7:06 a.m.
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