-push ((flip ($)) Haskell)
-name_1:
+push (\u1 -> u1 Term)
+<hidden>:
| catchFail
| <try>
-| | push ((.) . (cons . const Haskell))
-| | read
-| | lift ($)
-| | call name_1
-| | lift ($)
+| | push (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
+| | read ('a' ==)
+| | lift (\u1 -> (\u2 -> u1 u2))
+| | call <hidden>
+| | lift (\u1 -> (\u2 -> u1 u2))
| | popFail
| | ret
| <handler>
| pushInput
-| lift InstrPureSameOffset
-| choices [id]
+| lift Term
+| choices [(\u1 -> u1)]
| <branch>
-| | push id
+| | push (\u1 -> u1)
| | ret
| <default>
| fail
-call name_1
-lift ($)
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
ret