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

[Barak A. Pearlmutter]

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