Literal for sentinel values

This came up python/typeshed#3521: Currently I can't think of a way to type sentinel values that are often constructed by allowing a certain instance of object as the argument. For the example above it would be useful to be able to do something like this:

class PSS(AsymmetricPadding):
    MAX_LENGTH: ClassVar[object]
    def __init__(self, mgf: MGF1, salt_length: Union[int, Literal[MAX_LENGTH]]) -> None: ...

Alternatively we could add a type like Singleton type to typing:

class PSS(AsymmetricPadding):
    MAX_LENGTH: Singleton
    def __init__(self, mgf: MGF1, salt_length: Union[int, MAX_LENGTH]) -> None: ...

実装ファイル、テスト、エントリーポイントは特定されていません。まず sentinel 値の提案と、それが参照している typeshed の議論を確認し、受け入れるべき構文とセマンティクスを決定してください。完了の条件は、合意された設計と、それに対応する実装およびテストですが、この issue ではそれらの詳細は定義されていません。