Implement Exception.die for convenience in handlers