:: Int -> IO a -> IO [a] package:polyparse

'exactly n p' parses precisely n items, using the parser p, in sequence.
'upto n p' parses n or fewer items, using the parser p, in sequence.