> i want it to be at least as fine grained as extensional equivalence
Then see Oleg's comment or am i missing something here?
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.".
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe