wondering if anybody wrote a pants tasks for running mypy?