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