push ((flip ($)) Haskell)
name_1:
| catch
|   <try>
|   | push ((.) . (cons . const Haskell))
|   | read
|   | lift ($)
|   | call name_1
|   | lift ($)
|   | commit
|   | ret
|   <handler>
|     tell
|     lift InstrPureSameOffset
|     choices [id]
|       <branch>
|       | push id
|       | ret
|       <default>
|         fail
call name_1
lift ($)
ret