-- Another type reconstruction with newtypes test

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../Test

let a = MkT [1::Integer .. 2]
seq a ()
:p a