4 pushValue (\u1 -> (\u2 -> u1))
10 | lift2Value (\u1 -> (\u2 -> u1 u2))
13 | pushValue (\u1 -> (\u2 -> u1))
19 | lift2Value (\u1 -> (\u2 -> u1 u2))
25 | lift2Value (\u1 -> (\u2 -> u1 u2))
28 | lift2Value (\u1 -> (\u2 -> u1 u2))
31 | lift2Value (\u1 -> (\u2 -> u1 u2))
41 | | pushValue (\u1 -> (\u2 -> u1))
42 | | minReads=(Right 1)
45 | | minReads=(Right 1)
47 | | lift2Value (\u1 -> (\u2 -> u1 u2))
48 | | minReads=(Right 1)
51 | | minReads=(Right 1)
53 | | lift2Value (\u1 -> (\u2 -> u1 u2))
54 | | minReads=(Right 0)
56 | | popException "fail"
57 | | minReads=(Right 0)
60 | | minReads=(Right 0)
64 | | minReads=(Right 1)
67 | | minReads=(Right 1)
69 | | choicesBranch [(\u1 -> u1)]
70 | | minReads=(Right 1)
73 | | | | pushValue (\u1 -> (\u2 -> u1))
74 | | | | minReads=(Right 1)
75 | | | | mayRaise=["fail"]
77 | | | | minReads=(Right 1)
78 | | | | mayRaise=["fail"]
79 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
80 | | | | minReads=(Right 1)
81 | | | | mayRaise=["fail"]
83 | | | | minReads=(Right 1)
84 | | | | mayRaise=["fail"]
85 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
86 | | | | minReads=(Right 0)
88 | | | | refJoin <hidden>
89 | | | | minReads=(Right 0)
92 | | | | raiseException "fail"
93 | | | | minReads=(Left "fail")
94 | | | | mayRaise=["fail"]