push ((flip ($)) ((flip ($)) Pure) . ((.) . cons))
name_1:
| catchFail
|   <try>
|   | push ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) Pure . (cons . const 'd')) . ((.) . (cons . const 'c'))) . ((.) . ((.) . (cons . const 'b')))) . ((.) . ((.) . ((.) . (cons . const 'a')))))
|   | read
|   | lift ($)
|   | read
|   | lift ($)
|   | read
|   | lift ($)
|   | read
|   | lift ($)
|   | popFail
|   | ret
|   <handler>
|     loadInput
|     fail
call name_1
lift ($)
name_2:
| catchFail
|   <try>
|   | push ((.) . cons)
|   | call name_1
|   | lift ($)
|   | call name_2
|   | lift ($)
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift Pure
|     choices [id]
|       <branch>
|       | push id
|       | ret
|       <default>
|         fail
call name_2
lift ($)
ret