Print fewer types in call generics, leaning on rustc to pick types