And people complain that typescript is crazy. I think we just need to acknowledge that typing is hard, especially with what mainstream languages give us.