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