This is interesting, but given the relative failure of the checked exceptions experiment in Java, it seems unlikely to catch on.