¿Has trabajado con el operador infer? ¿Para qué sirve y dónde lo has aplicado?