-- More GADT goodness

:set -XGADTs -XRank2Types -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../GADT
:a ../Test
:m +Main
let o = O (One False Main.Nil)
:p o
seq _t1 ()
:t _t1
:p o