I have defined a datatype for which I allow GHC to automatically derive an instance of the Eq typeclass.
However, the derived instance doesn\'t have the precise behav
