Since there are more than one possible natural transformation between functors, we should label them to distinguish a variety of behaviour.
Label is just a wrapper - its main purpose is to help reader to guide through code and help compiler to pick right behaviour.
There is a list of all available behaviour labels.