Note derivation of Functor map from Applicative