Catching bugs in CI is orders of magnitude slower and more expensive than catching them as type errors while writing the code.