Little bit of both actually. If the primary motivation behind optional type checking is IDE hinting and compile time checks I'd actually prefer a standard docs

Little bit of both actually. If the primary motivation behind optional type checking is IDE hinting and compile time checks I'd actually prefer a standard docstring format instead of annotations.