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