Какова роль оператора Infer в контексте типов и как он применяется?