Implement hope_option:of_undefined/1