tl;dr please use pyright instead