Los combinadores generados por la transformación "T"[ ] pueden ser hechos más pequeños si consideramos la regla de η-reducción: