Add Functor instance by shifting type parameters.