[Haskell-cafe] Re: instance Eq (a -> b)

[Ashley Yakeley]

Thomas Davie wrote:
> I guess this further reinforces my point though – we have a mixture of places where we consider _|_ when considering laws, and places where we don't consider _|_.  This surely needs better defined somewhere.

It's easy: don't consider bottom as a value, and the laws work fine.

Of course, sometimes we may want to add _additional_ information 
concerning bottom, such as strictness.

-- 
Ashley Yakeley