[mbrock]

Well... but usually those are actual errors that you would need to fix anyway.

[falcolas]

Why would generalizing a type definition make an error?

[lmm]

In the places you use a specific concrete type you presumably did so for a reason, and now need to think about how the type change affects it. The parts of your code that are generic should have been written to be generic, and the parts where the type can be inferred from the lower-level functions involved should have left the type to be inferred from the lower-level functions involved.