blob: d049ffd1dd45e6dca11bec0a7bda248c7dd48ea0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-- More newtypes goodness
:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
:l ../Test
let a = map (MkT2 . MkT) [1::Integer .. 2]
:p a
seq _t1 ()
:p a
seq _t2 ()
:p a
seq _t4 ()
:p a
|