Added applicative constants