On Jan 19, 2007, at 1:06 PM, Yitzchak Gale wrote:
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...
Personally I think that the distinction between _|_ and \x -> _|_ is
a mistake and should be ignored whenever possible.
/ Ulf
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
