It’s the easiest way to apply a covariant component with identity (which means we don’t touch Functor’s values.