Unpopular opinion: Java's checked exceptions are underrated, and I think any language that uses exception-based error handling (rather than ADT-based error handling) should adopt checked exceptions.