Full type hinting checkable with pyright