On Thu, Jan 01, 2015 at 03:17:13PM +0100, Atze van der Ploeg wrote: > Taking > > Instance Eq a where > _ == _ = True > > Then it has all the properties you mentoined Right, hence my latest clarification that "Futhermore I want (==) to be at least as fine-grained as extensional equivalence.".