catchFail
  <try>
  | push ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) Haskell . (cons . const Haskell)) . ((.) . (cons . const Haskell))) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell)))))
  | read
  | lift ($)
  | read
  | lift ($)
  | read
  | lift ($)
  | read
  | lift ($)
  | popFail
  | ret
  <handler>
    loadInput
    fail