On 2011 May 26, at 11:59, Jacek Generowicz wrote: > (I imagine that a Sufficiently Smart Compiler could reduce (==) :: > Person Person to just integer comparison.) Sorry, I meant (==) :: Person -> Person -> Bool in the above.