> but I'd like most of what's in that annex, especially concepts, to be fixed > and part of Nim 1.0.
Unlikely to happen. I have bigger plans with concepts, RFC will come soon. > I am about these existing type system issues. I wouldn't call these "type system issues", that's part of the problem, concepts are "only" generic constraints without any soundness or completeness aspects. They don't allow you to do anything that a less constrained `T` would allow you to do. Most people do not understand this. And even more people do not understand that a `concept` is **not** an interface.
