One thing I find really frustrating is that Ceylon didn't take advantage of its union types to represent checked exceptions that way :(