1 2 3 4 5 6 7
-- Test handling of extra fields in the representation due to existentials. :set -XGADTs -XRankNTypes :l GADT let e = Exist 1 :p e