On Thu, Jan 01, 2015 at 03:22:55PM +0100, Atze van der Ploeg wrote: > > i want it to be at least as fine grained as extensional equivalence > > Then see Oleg's comment or am i missing something here? Perhaps you could explain Oleg's comment. I don't understand it.