A Hopeful Idea: The End of Checked Exceptions?