Un tipo etiquetado se puede extender.