4 | | + pure (\u1 -> (\u2 -> u1))
10 | | | + pure (\u1 -> (\u2 -> u1))
11 | | | ` pure (\u1 -> u1)
17 | | | | + pure (\u1 -> (\u2 -> u1))
18 | | | | ` pure (\u1 -> u1)
23 | | | | | + pure (\u1 -> (\u2 -> u1))
24 | | | | | ` pure (\u1 -> u1)
41 | | | | + pure (\u1 -> (\u2 -> u1))
42 | | | | ` pure (\u1 -> u1)