Why do you want `Exception`s to be able to escape from contracts?