:unset +s +t
:set -XExistentialQuantification
-- test for contexts on existential types crashing the interpreter
:l ghci006
showQ (Q "foo")