A WG21 paper about allowing explicit specification of the types a template may deduce to. - View it on GitHub