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