Make Choice.fail() obsolete -- we should be using Choice.failwith instead to provide better error messages when something goes wrong.