Natural transformations are transformation between [[functors]] that compose.