-- 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