This is cool. It looks a lot like traits or associated types and OCaml modules. When you think about it, we only have ordinal/positional type parameters. Why n

This is cool. It looks a lot like traits or associated types and OCaml modules. When you think about it, we only have ordinal/positional type parameters. Why not dict'd like type parameters as well (like named parameter passing)? I dislike the "meta" nomenclature. To me they are still types but more like product types of types.