-- Test type reconstruction of Constants
-- Found by Bernie Pope

:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test

:break poly
poly Unary
:p x
:t x
seq x ()
:p x
:t x
x