It’d be nice to do type checking of this project, for our own maintainability needs, and for consumers of this package.