How to Convert a Type System Generic to a Generic Type System

The code mond is nsurprisingly not perfect. And we've definitely made a lot of improvements over time, but i think it would be very hard to get to, prove get to perfect for the reasons you just said. There there are places where, especially like utility types, too. So typescript has a lot of utility types, like o, mit, pick whatever, and you can chain together to make some pretty complicated requirements. Flow has the same sort of things available, but the flow utility types can also do, like, even more inference with them as well,. which makes them even harder to map over.