Example: Parsers
Arrow type: Parser a b parse a b, consuming an a
representation includes starter symbols.
(>>>) :: Parser a b -> Parser b c -> Parser a c
first :: Parser a b -> Parser (a,c) (b,c)
left :: Parser a b -> Parser (Either a c) (Either b c)