@charlag I think you've misunderstood my point. I wasn't arguing that checked exceptions are better than Result<T, E> types or that explicit propagation is bad. I was suggesting that within Java's ecosystem, checked exceptions could be valuable if properly improved, rather than abandoned entirely. Both approaches have their merits in their respective languages and paradigms. Monadic types definitely compose better, but automatic propagation has advantages in certain contexts too.