On 9/5/2016 2:59 AM, Andrea Fontana wrote: > Is there any chance to implement this kind of deduction? No. Types are resolved bottom-up, not top-down. Trying to do both may not even be doable in the general case, it certainly makes for all kinds of complexity. It makes a soup out of overload resolution, for example.