1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
-- Test type reconstruction of Constants -- Found by Bernie Pope :set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving :l ../Test :break poly poly Unary :step :p x :t x seq x () :p x :t x x