One caveat of mypy is that, by default, it only type checks functions that have type annotations.

Most of our tests do not have type annotations, and therefore their contents are not typechecked. Adding -> None to all tests feels like avoidable busywork.

We should consider turning on --check-untyped-defs on modules.