Usando estos combinadores, podemos extender las reglas para la transformación como sigue: