Added applicative constants

Same comment