Applicative functors.