recognize quantification types with monadic parser combinators