instance Monad Parser where
    return x = Parser (\s -> [(x,s)])
    m >>= k = Parser (\s -> [(y,u) | (x,t) <- apply m s, (y, u) <- apply (k x) t])