Isomorfismo entre tipo de no pertenencia y el tipo 'no existe tipo tal que la variable pertenece, algunos casos del infer de la abstraccion listos