Implementation of Functor from Monad.