+pushValue Term
+ minReads=(Right 3)
+ mayRaise=[]
catchException "fail"
minReads=(Right 3)
mayRaise=[]
| | popException "fail"
| | minReads=(Right 0)
| | mayRaise=[]
+| | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | minReads=(Right 0)
+| | mayRaise=[]
| | ret
| | minReads=(Right 0)
| | mayRaise=[]