1 2 3 4 5 6 7 8
-- Another type reconstruction with newtypes test :set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving :l ../Test let a = MkT [1..2] seq a () :p a