-- Another type reconstruction with newtypes test

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test

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