This label is used to convert one data structure into another one:
The exact same label with functor switched is called Apply.