push (const id)
let_3:
| push ((flip ($)) () . (const id . (flip ($)) ()))
| let_2:
| | catch
| |   <try>
| |   | push ((.) . ((.) ((flip ($)) id) . const) id)
| |   | read
| |   | lift ($)
| |   | call let_2
| |   | lift ($)
| |   | commit
| |   | ret
| |   <handler>
| |     tell
| |     lift InstrPureSameOffset
| |     choices [id]
| |       <branch>
| |       | push id
| |       | ret
| |       <default>
| |         fail
| call let_2
| lift ($)
| ret
call let_3
lift ($)
let_4:
| push ((flip ($)) Haskell)
| let_1:
| | catch
| |   <try>
| |   | tell
| |   | read
| |   | swap
| |   | seek
| |   | choices [(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell)]
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_4
| |   |   | lift ($)
| |   |   | read
| |   |   | lift ($)
| |   |   | call let_3
| |   |   | lift ($)
| |   |   | call let_1
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <default>
| |   |     fail
| |   <handler>
| |     tell
| |     lift InstrPureSameOffset
| |     choices [id]
| |       <branch>
| |       | push id
| |       | ret
| |       <default>
| |         fail
| call let_1
| lift ($)
| ret
call let_4
lift ($)
ret