Checked expressions suffered from a woefully insufficient language to describe what might be thrown. For instance, there was no good way to type a map function.