Functions as applicative functors