The idea is too use the same the same way that standard python works. Like if there's a concrete type, it's both required and converted to that. If there's a default value, it is that type, but it's also it's not required, and so on. And because you can also have like, very deeply nested and complex data structures, like you can say that your api is going to receive a list of o s of food, and each one of these food items is going to have a name. But theyn being able to have out o completion even for the ly nested little bits inside of the editor and tie cheks and all that, like, for me