push (\u1 -> (\u2 -> u1 Pure))
name_1:
| catchFail
|   <try>
|   | push (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
|   | read ('r' ==)
|   | lift (\u1 -> (\u2 -> u1 u2))
|   | call name_1
|   | lift (\u1 -> (\u2 -> u1 u2))
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift Pure
|     choices [(\u1 -> u1)]
|       <branch>
|       | push (\u1 -> u1)
|       | ret
|       <default>
|         fail
call name_1
lift (\u1 -> (\u2 -> u1 u2))
join_55:
| lift (\u1 -> (\u2 -> u1 u2))
| ret
catchFail
  <try>
  | catchFail
  |   <try>
  |   | pushInput
  |   | read (\u1 -> Pure)
  |   | pop
  |   | popFail
  |   | loadInput
  |   | fail
  |   <handler>
  |     loadInput
  |     push unit
  |     popFail
  |     refJoin join_55
  <handler>
    pushInput
    lift Pure
    choices [(\u1 -> u1)]
      <branch>
      | fail
      <default>
        fail