Re: [Haskell-cafe] Does GHC compare pointers when eval'ing (==)

You don't need to define a new weird datatype in order to violate reflexivity, as an eminent IEEE committee has already designed one for you. Prelude> let x = 0/0 in x == x False