1module InfixParser where 2 3type Parse a b = [a] -> [(b, [a])] 4 5(<|>) :: Parse a b -> Parse a b -> Parse a b 6(p1 <|> p2) i = p1 i ++ p2 i 7