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