-- Type reconstruction with newtypes involved

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test

let i = map (Just . Just) [My 1 .. My 3]
:p i
seq _t1 ()
:p i
seq _t2 ()
:p i
seq _t4 ()
:p i