try
` <*>
  + <*>
  | + <*>
  | | + <*>
  | | | + pure ((flip ($)) ((flip ($)) ((flip ($)) ((flip ($)) Haskell . (cons . const Haskell)) . ((.) . (cons . const Haskell))) . ((.) . ((.) . (cons . const Haskell)))) . ((.) . ((.) . ((.) . (cons . const Haskell)))))
  | | | ` satisfy
  | | ` satisfy
  | ` satisfy
  ` satisfy