It’s a shortest path to apply a covariant natural transformation with identity (which means we don’t touch Functor’s values.