[Haskell-cafe] Article review: Category Theory

[Neil Mitchell]

Hi

> Isn't _|_ = \x -> _|_?

_|_ `seq` () = _|_
(\x -> _|_) `seq` () = ()

Whether this is the fault of seq or not is your call...

Thanks

Neil