it would be great for .pyi annotations to be part of docstrings