cooked-pi. What if we built the same frustrating type checker over and over again? For science.