Still... why have type inference in the first place if you can not safely utilize it. The argument for having things unsound is &quot;to strike a balance between correctness and productivity&quot;. Having to declare types on everything even if it&#x27;s just generics beats the productivity argument.