Checked exceptions are fine. The problem is, that they are not composable and most languages have no syntactic sugar for dealing with them as Monads. Other ch

Checked exceptions are fine. The problem is, that they are not composable and most languages have no syntactic sugar for dealing with them as Monads. Other checked error mechanisms like Either or are much easier to manage. I do hope e.g. Java sometimes in the future gets syntactic sugar to deal with checked exceptions as Monads.