3 | + pure (\u1 -> (\u2 -> u1))
14 | | | | + pure (\u1 -> (\u2 -> u1))
22 | | | | + pure (\u1 -> (\u2 -> u1))
30 | | | | + pure (\u1 -> (\u2 -> u1))
38 | | | | + pure (\u1 -> (\u2 -> u1))
47 | | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
50 | | | | ` ref <hidden>
52 | | ` pure (\u1 -> u1)