[Haskell-cafe] Article review: Category Theory

[Ulf Norell]

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