Knowing a true name gives one power over its owner.
A Template Haskell hack to get unexported Names―be they data
constructors, record fields or class methods―a slightly less unsafe way
to violate another module's abstractions than unsafeCoerce.
A few quick examples.