Re: [Haskell-cafe] Article review: Category Theory

Hi

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

_|_ `seq` () = _|_ (\x -> _|_) `seq` () = () Whether this is the fault of seq or not is your call... Thanks Neil