Future of typing ?

[jmgomez]

That's what I was referring to with "On the other hand, does the statement 
above includes being able to infer three parametric types (i.e. 
std/options.flatMap)?"

The problem seems to be in `auto` which is what sugar uses