Mypy is a bit of a loose cannon to include due to potentially highlighting many undesirable errors (e.g. missing imports; see feedback in #19, #32). I think we should put some example code in the repo during CI, and test that mypy displays desirable behaviour in those anecdotal cases.
