pushValue (\u1 -> u1 Term)
<hidden>:
| catchException "fail"
|   <try>
|   | pushValue (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
|   | read ('a' ==)
|   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | call <hidden>
|   | lift2Value (\u1 -> (\u2 -> u1 u2))
|   | popException "fail"
|   | ret
|   <handler>
|     pushInput
|     lift2Value Term
|     choicesBranch [(\u1 -> u1)]
|       <branch>
|       | pushValue (\u1 -> u1)
|       | ret
|       <default>
|         raiseException "fail"
call <hidden>
lift2Value (\u1 -> (\u2 -> u1 u2))
ret