blob: 512015f1e36547112427890bde07345b7fce6f6d (
plain)
1
2
3
4
5
6
7
8
|
-- Another type reconstruction with newtypes test
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l Test
let a = MkT [1::Integer .. 2]
seq a ()
:p a
|