I am trying to understand the pMany and pMany1 functions in the parser combinator
newtype Parser s t = P([s] -> [(t, [s])]) pMany, pMany1 :: Parser s a → P