Transformation is a mapping between functors. Transformation is a basic building block of control flow in Ya.