The Types Aren't Inferred From Function Definitions

The key here is that the types are coming into your system from an external system. So you could just write a bad type, but that's not a bad type. Browsers could update in 10 years from now and say we're we're we have a new type of query for Where you can pass in JSON And then all these types would be out there Sure sure sure But the key is is that thetypes are not They're not inferred from our program. They're external. It's not data It's types are types from external systems are coming intoYour system not even about types so I thinkYeah, because I can write a new router and I could give you a type definition