En la declaración y extensión de tipos etiquetados.