mypy
rich
