4 | | + pure (\u1 -> (\u2 -> u1))
10 | | | + pure (\u1 -> (\u2 -> u1))
11 | | | ` pure (\u1 -> u1)
14 | | | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
20 | | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
23 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
24 | | | | | ` pure (\u1 -> (\u2 -> u1))
27 | | ` pure (\u1 -> u1)
35 | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
40 | | | | + pure (\u1 -> (\u2 -> u1))
47 | | | | | | | + pure (\u1 -> (\u2 -> u1))
48 | | | | | | | ` pure Term
52 | | | | | | | + pure (\u1 -> (\u2 -> u1))
53 | | | | | | | ` pure Term
57 | | | | | | | + pure (\u1 -> (\u2 -> u1))
58 | | | | | | | ` pure Term
62 | | | | | | | + pure (\u1 -> (\u2 -> u1))
63 | | | | | | | ` pure Term
67 | | | | | | | + pure (\u1 -> (\u2 -> u1))
68 | | | | | | | ` pure Term
72 | | | | | | | + pure (\u1 -> (\u2 -> u1))
73 | | | | | | | ` pure Term
77 | | | | | | + pure (\u1 -> (\u2 -> u1))
81 | | | | | | | | + pure (\u1 -> (\u2 -> u1))
82 | | | | | | | | ` pure (\u1 -> u1)
85 | | | | | | | | + pure (\u1 -> (\u2 -> u1))
86 | | | | | | | | ` satisfy
87 | | | | | | | ` ref name_1
89 | | | | | | + pure Term
90 | | | | | | ` rec name_2
93 | | | | | | + pure (\u1 -> (\u2 -> u1))
94 | | | | | | ` pure ']'