5 | | pushValue (\u1 -> (\u2 -> u1))
11 | | lift2Value (\u1 -> (\u2 -> u1 u2))
12 | | minReads=(Right 1)
15 | | minReads=(Right 1)
17 | | lift2Value (\u1 -> (\u2 -> u1 u2))
18 | | minReads=(Right 0)
20 | | popException "fail"
21 | | minReads=(Right 0)
24 | | minReads=(Right 0)
28 | | minReads=(Right 1)
31 | | minReads=(Right 1)
33 | | choicesBranch [(\u1 -> u1)]
34 | | minReads=(Right 1)
37 | | | | pushValue (\u1 -> (\u2 -> u1))
38 | | | | minReads=(Right 1)
39 | | | | mayRaise=["fail"]
41 | | | | minReads=(Right 1)
42 | | | | mayRaise=["fail"]
43 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
44 | | | | minReads=(Right 1)
45 | | | | mayRaise=["fail"]
47 | | | | minReads=(Right 1)
48 | | | | mayRaise=["fail"]
49 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
50 | | | | minReads=(Right 0)
53 | | | | minReads=(Right 0)
56 | | | | raiseException "fail"
57 | | | | minReads=(Left "fail")
58 | | | | mayRaise=["fail"]