1 2 3 4 5 6 7 8 9
-- Test handling of extra fields in the representation due to existentials. :set -XGADTs -XRank2Types :l ../GADT let e = Exist 1 :p e seq _t1 () :p e