3 ms·

OK, maybe I misunderstood ionforce. I don't deny that type-driven synthesis is a core element of implicits.