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

Thomas Davie tom.davie at gmail.com
Wed Apr 14 04:41:14 EDT 2010

On 14 Apr 2010, at 09:39, Ashley Yakeley wrote:

> 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.

If it were this easy, then why is our instance of Functor on tuples gimped?


More information about the Haskell-Cafe mailing list