Not sure if this is the right channel to discuss this, happy to move it elsewhere We have an issue where we're missing SqlAlchemy type stub in mypy: https://github.com/OpenHands/OpenHands/issues/13412 Some type fixes require defining columns as

v1_enabled: Mapped[bool | None] = mapped_column(Boolean, nullable=True)

as opposed to

v1_enabled = Column(Boolean, nullable=True)

Alternatively, we can introduce an additional dependency SqlModel which is also a SqlAlchemy and Pydantic model so we can simplify typing in many places as well It seems promising, has anyone used this before or has thoughts regarding introducing this?