blob: 744f1e032abe8067af2b6c0190769a851bd0b809 (
plain)
1
2
3
4
5
6
7
8
9
|
t = O (_t1::a0)
()
t = O ((_t2::a0) : (_t3::[a0]))
()
t = O ((_t4::a1) : (_t5::a1) : (_t6::[a1]))
()
t = O ((_t7::Maybe [Int]) : Just [2,2] : (_t8::[Maybe [Int]]))
()
t = O (Just [1,1] : Just [2,2] : (_t9::[Maybe [Int]]))
|