Is it ever possible to detect sharing in Haskell?

Question

In Scheme, the primitive eq? tests whether its arguments are the same object. For example, in the following list

(define lst
  (let (x (list \'a         


        

Answer 1

There is reallyUnsafePtrEquality#. Also see here