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))))
52 | | ` pure (\u1 -> u1)