Huong Nguyen <hiperfume@gmail.com> writes:
newtype Parser a = Parser(String -> [(a, String)])
[...]
parse :: Parser a -> String -> [(a, String)]
parse p cs = p cs
\end{code}
Try this instead:
parse (Parser p) cs = p cs
(You forgot to deconstruct! :) )