3 ================================================================================
5 `$d5' :: `{PrelBase.Eval (Pair a b)}'
7 _/\_ `$x0' `$x1' -> `PrelBase.void'
8 `$d4' :: `{PrelBase.Eval (LList alpha)}'
10 _/\_ `$x0' -> `PrelBase.void'
11 `$d2' :: `{PrelBase.Eval (Tree x)}'
13 _/\_ `$x0' -> `PrelBase.void'
14 `$d1' :: `{PrelBase.Eval (A a)}'
16 _/\_ `$x0' -> `PrelBase.void'
17 `MkA' :: `a -> A a -> A a'
19 _/\_ `$x0' -> \ `$x1' :: `$x0'
20 `$x1' `$x2' :: `A $x0'
22 `MkA' {_@_ `$x0' `$x1' `$x2'}
23 `MkPair' :: `a -> b -> Pair a b'
25 _/\_ `$x0' `$x1' -> \ `$x2' :: `$x0'
28 `MkPair' {_@_ `$x0' _@_ `$x1' `$x2' `$x3'}
29 `Leaf' :: `x -> Tree x'
31 _/\_ `$x0' -> \ `$x1' :: `$x0'
33 `Leaf' {_@_ `$x0' `$x1'}
34 `Node' :: `Tree x -> Tree x -> Tree x'
36 _/\_ `$x0' -> \ `$x1' :: `Tree $x0'
37 `$x1' `$x2' :: `Tree $x0'
39 `Node' {_@_ `$x0' `$x1' `$x2'}
43 `Succ' :: `Nat -> Nat'
48 `Nill' :: `LList alpha'
50 _/\_ `$x0' -> `Nill' {_@_ `$x0'}
51 `Conss' :: `alpha -> LList alpha -> LList alpha'
53 _/\_ `$x0' -> \ `$x1' :: `$x0'
54 `$x1' `$x2' :: `LList $x0'
56 `Conss' {_@_ `$x0' `$x1' `$x2'}
58 `append' :: `LList taC4 -> LList taC4 -> LList taC4'
60 _/\_ `$x0' -> \ `$x1' :: `LList $x0'
61 `$x1' `$x2' :: `LList $x0'
65 `Conss' `$x3' `$x4' ->
69 `append' _@_ `$x0' `$x4' `$x2'
70 } in `Conss' {_@_ `$x0' `$x3' `$x5'};
79 `$d6' :: `{PrelBase.Eval Boolean}'
82 `$d3' :: `{PrelBase.Eval Nat}'