Los tipos etiquetados de Ada 95 son los que permiten realizar el polimorfismo.