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

Ashley Yakeley ashley at semantic.org
Wed Apr 14 04:21:27 EDT 2010

Maciej Piechotka wrote:

> I guess that the fact that:
> - It is costly.

No, it's not. Evaluating equality for "Bool -> Int" does not take 
significantly longer than for its isomorph "(Int,Int)". The latter has 
an Eq instance, so why doesn't the former?

Ashley Yakeley

More information about the Haskell-Cafe mailing list