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