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