Hey Pants Team, I’m curious to learn about the decision to use

mypy

as the default type checking tool. Were there any other considerations at the time?