Of course that is fine. But keep in mind that all parser combinator based libraries are based on a top-down parsing strategy which in most places, BUT NOT ALL, fits Haskell's syntax. Try to use the chaining combinators where-ever possible. In case of doubt you can always spy on how things are done in the UHC. Luckily I'm not building a parser for Haskell, but for a very small set of instructions given to a program from the command line. In case of emergency I will be looking at the source code of uulib and uu-parsinglib (which, by the way, could use some line wrapping to fit in 80 columns).

Janek