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