push ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) Pure
name_1:
| catchFail
|   <try>
|   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'a'))
|   | read
|   | lift (\x0 -> (\x1 -> x0 x1))
|   | call name_1
|   | lift (\x0 -> (\x1 -> x0 x1))
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift Pure
|     choices [id]
|       <branch>
|       | push (\x0 -> x0)
|       | ret
|       <default>
|         fail
call name_1
lift (\x0 -> (\x1 -> x0 x1))
ret