nasty things possible with generalized newtype deriving
g9ks157k at acme.softbase.org
Tue Mar 9 04:44:21 EST 2010
are you following this Haskell Cafe thread:
Seems that you can do ugly things with GHC’s current implementation of
generalized newtype deriving. For example, you can easily construct sets with
corrupted internal structure even if there are no bogus Ord instances.
More information about the Glasgow-haskell-users