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