Intution about applicative functors.