3 | + pure (\u1 -> (\u2 -> u2))
9 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
15 + pure (\u1 -> u1 Term)
20 | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
23 | | | | ` ref <hidden>
26 | | | | | + pure (\u1 -> (\u2 -> cons Term))
27 | | | | | ` ref <hidden>
29 | | | | | + pure (\u1 -> (\u2 -> cons Term))
30 | | | | | ` ref <hidden>
32 | | | | | + pure (\u1 -> (\u2 -> cons Term))
33 | | | | | ` ref <hidden>
35 | | | | | + pure (\u1 -> (\u2 -> cons Term))
36 | | | | | ` ref <hidden>
38 | | | | | + pure (\u1 -> (\u2 -> cons Term))
39 | | | | | ` ref <hidden>
41 | | | | | + pure (\u1 -> (\u2 -> cons Term))
42 | | | | | ` ref <hidden>
47 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
48 | | | | | | | ` ref <hidden>
49 | | | | | | ` ref <hidden>
50 | | | | | ` rec <hidden>
51 | | | | ` ref <hidden>