11 | | pushValue (\u1 -> (\u2 -> u1))
12 | | minReads=(Right 3)
15 | | minReads=(Right 3)
17 | | lift2Value (\u1 -> (\u2 -> u1 u2))
18 | | minReads=(Right 3)
21 | | minReads=(Right 3)
23 | | lift2Value (\u1 -> (\u2 -> u1 u2))
24 | | minReads=(Right 2)
26 | | lift2Value (\u1 -> (\u2 -> u1 u2))
27 | | minReads=(Right 2)
30 | | minReads=(Right 2)
32 | | pushValue (\u1 -> (\u2 -> u1))
33 | | minReads=(Right 2)
36 | | minReads=(Right 2)
38 | | lift2Value (\u1 -> (\u2 -> u1 u2))
39 | | minReads=(Right 2)
42 | | minReads=(Right 2)
44 | | lift2Value (\u1 -> (\u2 -> u1 u2))
45 | | minReads=(Right 1)
47 | | lift2Value (\u1 -> (\u2 -> u1 u2))
48 | | minReads=(Right 1)
51 | | minReads=(Right 1)
53 | | pushValue (\u1 -> (\u2 -> u1))
54 | | minReads=(Right 1)
57 | | minReads=(Right 1)
59 | | lift2Value (\u1 -> (\u2 -> u1 u2))
60 | | minReads=(Right 1)
63 | | minReads=(Right 1)
65 | | lift2Value (\u1 -> (\u2 -> u1 u2))
66 | | minReads=(Right 0)
68 | | lift2Value (\u1 -> (\u2 -> u1 u2))
69 | | minReads=(Right 0)
72 | | minReads=(Right 0)
74 | | lift2Value (\u1 -> (\u2 -> u1 u2))
75 | | minReads=(Right 0)
77 | | lift2Value (\u1 -> (\u2 -> u1 u2))
78 | | minReads=(Right 0)
80 | | lift2Value (\u1 -> (\u2 -> u1 u2))
81 | | minReads=(Right 0)
83 | | popException "fail"
84 | | minReads=(Right 0)
86 | | lift2Value (\u1 -> (\u2 -> u1 u2))
87 | | minReads=(Right 0)
90 | | minReads=(Right 0)
94 | | minReads=(Left "fail")
96 | | raiseException "fail"
97 | | minReads=(Left "fail")