- run 'make typing' to trigger (or 'mypy .')
- we could put this in the CI; I suggest to make it voluntary for now