Better type parameter inference.