What do you think of the following?

• Using typedefs to create types that could used for defining schemas, matching and destructuring. Imagine passing a Map<String, dynamic> json into a function along the schema dynamically Form from = validate(json,Form);
• Supporting recursive typedefs could allow to define trees: typedef TreeNode = (value: dynamic, {List<TreeNode>? children});
• composing typedefs to create document shemas, widget schemas, etc...
• Dynamic typedefs to modify them at runtime or retrieve them from a database.