I also thought checked exceptions in Java were fantastic. They are a form of statically checked effects. I would like to see more of this sort of thing not less.