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

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