A lot of that comes back to the lack of power in the type system (type erasure, lack of union types, etc). If all that code throwing IOException could express

A lot of that comes back to the lack of power in the type system (type erasure, lack of union types, etc). If all that code throwing IOException could express better the type of fault, and if the error handling could them in a more nuanced, less awkward manner, it would be much better than it is.