de un tipo superior