-push ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
-name_7:
-| push ()
+push (\u1 -> (\u2 -> u2))
+<hidden>:
+| push (\u1 -> Term)
+| <hidden>:
+| | catchFail
+| | <try>
+| | | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
+| | | read Term
+| | | lift (\u1 -> (\u2 -> u1 u2))
+| | | call <hidden>
+| | | lift (\u1 -> (\u2 -> u1 u2))
+| | | popFail
+| | | ret
+| | <handler>
+| | pushInput
+| | lift Term
+| | choices [(\u1 -> u1)]
+| | <branch>
+| | | push (\u1 -> u1)
+| | | ret
+| | <default>
+| | fail
+| call <hidden>
+| lift (\u1 -> (\u2 -> u1 u2))
| ret
-call name_7
-lift ($)
-name_5:
-| catchFail
-| <try>
-| | push ((.) (.))
-| | name_6:
-| | | push (flip const)
-| | | ret
-| | call name_6
-| | lift ($)
-| | read
-| | lift ($)
-| | call name_5
-| | lift ($)
-| | popFail
-| | ret
-| <handler>
-| pushInput
-| lift Pure
-| choices [id]
-| <branch>
-| | push id
-| | ret
-| <default>
-| fail
-call name_5
-lift ($)
-call name_7
-lift ($)
-name_3:
-| push ((flip ($)) Pure)
-| name_2:
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
+<hidden>:
+| push (\u1 -> u1 Term)
+| <hidden>:
| | catchFail
| | <try>
-| | | join_55:
-| | | | call name_7
-| | | | lift ($)
-| | | | name_1:
-| | | | | catchFail
-| | | | | <try>
-| | | | | | push ((.) (.))
-| | | | | | call name_6
-| | | | | | lift ($)
-| | | | | | read
-| | | | | | lift ($)
-| | | | | | call name_1
-| | | | | | lift ($)
-| | | | | | popFail
-| | | | | | ret
-| | | | | <handler>
-| | | | | pushInput
-| | | | | lift Pure
-| | | | | choices [id]
-| | | | | <branch>
-| | | | | | push id
-| | | | | | ret
-| | | | | <default>
-| | | | | fail
-| | | | call name_1
-| | | | lift ($)
-| | | | call name_7
-| | | | lift ($)
-| | | | call name_2
-| | | | lift ($)
+| | | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
+| | | <hidden>:
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | call <hidden>
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | call <hidden>
+| | | | lift (\u1 -> (\u2 -> u1 u2))
| | | | popFail
| | | | ret
| | | pushInput
-| | | read
+| | | read ((\u1 -> (\u2 -> u1)) Term)
| | | swap
| | | loadInput
-| | | choices [(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure)]
+| | | choices [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> cons Term))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <branch>
-| | | | push ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const ']'))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Pure))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
-| | | | read
-| | | | lift ($)
-| | | | call name_7
-| | | | lift ($)
-| | | | name_4:
-| | | | | catchFail
-| | | | | <try>
-| | | | | | push ((.) (.))
-| | | | | | call name_6
-| | | | | | lift ($)
-| | | | | | read
-| | | | | | lift ($)
-| | | | | | call name_4
-| | | | | | lift ($)
-| | | | | | popFail
-| | | | | | ret
-| | | | | <handler>
-| | | | | pushInput
-| | | | | lift Pure
-| | | | | choices [id]
-| | | | | <branch>
-| | | | | | push id
-| | | | | | ret
-| | | | | <default>
-| | | | | fail
-| | | | call name_4
-| | | | lift ($)
-| | | | call name_7
-| | | | lift ($)
-| | | | call name_3
-| | | | lift ($)
-| | | | read
-| | | | lift ($)
-| | | | refJoin join_55
+| | | | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
+| | | | read ((\u1 -> (\u2 -> u1)) Term)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | call <hidden>
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | call <hidden>
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | read (']' ==)
+| | | | lift (\u1 -> (\u2 -> u1 u2))
+| | | | refJoin <hidden>
| | | <default>
| | | fail
| | <handler>
| | pushInput
-| | lift Pure
-| | choices [id]
+| | lift Term
+| | choices [(\u1 -> u1)]
| | <branch>
-| | | push id
+| | | push (\u1 -> u1)
| | | ret
| | <default>
| | fail
-| call name_2
-| lift ($)
+| call <hidden>
+| lift (\u1 -> (\u2 -> u1 u2))
| ret
-call name_3
-lift ($)
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
ret