Todo objeto de un tipo etiquetado contiene una etiqueta ("tag") que permite reconocer su tipo en tiempo de ejecución.