comments on monadic parser