push ((.) ((flip ($)) ((.) ((flip ($)) Haskell) . ((flip ($)) (const Haskell) . (.)))) . ((.) (.) . ((.) (.) . ((flip ($)) (const Haskell) . (.)))))
name_1:
| push cons
| ret
call name_1
lift ($)
read
lift ($)
call name_1
lift ($)
read
lift ($)
ret