What if we built the same frustrating type checker over and over again? For science. - View it on GitHub