-- Type reconstruction with newtypes involved, more gruesome. 

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../Test
let a = map MkT [1..2]
:p a
seq _t1 ()
:p a
seq _t2 ()
:p a