I think Python might be the first language to adopt a named sentinel value type. Has anyone seen a design like this in any other programming language?