anybody have experience with using mypy together with pants?