push (\u1 -> (\u2 -> u2))
<hidden>:
| push Term
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
ret