blob: 6d767acb2a0723132b8c7795febf1d27a9c222ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
t = O (_t1::a0)
t :: Opaque = O _
_t1 :: a0 = _
()
t = O ((_t2::a0) : (_t3::[a0]))
t :: Opaque = O (_ : _)
_t1 :: [a] = _ : _
it :: () = ()
_t3 :: [a0] = _
_t2 :: a0 = _
()
t = O (Just [1,1] : (_t4::[Maybe [Int]]))
()
t = O (Just [1,1] : (_t5::Maybe [Int]) : (_t6::[Maybe [Int]]))
|
