5 | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
13 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
14 | | | | | ` def name_7
15 | | | | | ` pure (\u1 -> (\u2 -> u2))
18 | | ` pure (\u1 -> u1)
22 + pure (\u1 -> u1 Pure)
32 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
33 | | | | | | | ` satisfy
35 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
36 | | | | | | | ` satisfy
38 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
39 | | | | | | | ` satisfy
41 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
42 | | | | | | | ` satisfy
44 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
45 | | | | | | | ` satisfy
47 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Pure : u5 u6))))))
48 | | | | | | | ` satisfy
53 | | | | | | | | | + <*>
54 | | | | | | | | | | + <*>
55 | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> Pure u5 : u10 u11)))))))))))
56 | | | | | | | | | | | ` satisfy
57 | | | | | | | | | | ` ref name_3
58 | | | | | | | | | ` def name_6
59 | | | | | | | | | ` <|>
60 | | | | | | | | | + <*>
61 | | | | | | | | | | + <*>
62 | | | | | | | | | | | + <*>
63 | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
64 | | | | | | | | | | | | ` ref name_7
65 | | | | | | | | | | | ` satisfy
66 | | | | | | | | | | ` rec name_6
67 | | | | | | | | | ` pure (\u1 -> u1)
68 | | | | | | | | ` ref name_3
69 | | | | | | | ` rec name_5
80 | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
81 | | | | | | ` ref name_7
84 | | | ` pure (\u1 -> u1)