First applicative definition for Parser