If Scala 3.1 adopts checked exceptions, I'm looking forward to the day when I can declare a library method as, def foo: Bar throws E without worrying whether my users care about exceptions or not. Right now I must return either `Bar` or `Try[Bar]` and make _someone_ compromise.
I had an idea which I called "modes" which, obviously, never took off... but it could have benefited from some compiler help. But yes, this was a major source of my personal interest in checked exceptions.