blob: 861294cd8711c3de7656e30afa45a87ffd53517c (
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
|