[Typing-sig] How can I annotate class variables and instance variables with different types?

I want means to annotate class variables and instance variables with distinct types. I'm using the well-known ORM library SQLAlchemy. With entity declaration, class variables are representations of table columns, while instance variables are the actual values of each record. Thus, because of this behaviour, I cannot write fully-typed code. For example, with the class declaration shown below: ``` class Entity(Base): __tablename__ = 'entity' column_1 = Column('column_1', BIGINT(unsigned=True), primary_key=True, autoincrement=True) ``` The actual type of the class variable `Entity.column_1` is `Column`, but on the other hand, the instance variable `Entity().column_1` is `int`. As far as I know, today, we cannot annotate variables like `Entity.column_1` with correct types, but I want to achieve those codes fully typed.