applicative versions and explanation