Maybe all builds here should be configured to fail if there are type-check errors, without requiring `lint`
