Cut is a natural transformation from T(E x -) to T