<*> + <*> | + pure (\u1 -> (\u2 -> u1 Pure)) | ` def name_1 | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3))) | | | ` satisfy | | ` rec name_1 | ` pure (\u1 -> u1) ` eof