:set -XGADTs -XRankNTypes -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l GADT
:a Test
:m +Main
let o = O (id foo)
:p o
seq _t1 ()
:t _t1
:p o
seq _t4 ()
:p o