<*> + pure ((flip ($)) Haskell) ` def name_1 ` <|> + <*> | + <*> | | + pure ((.) . (cons . const Haskell)) | | ` satisfy | ` rec name_1 ` pure id