Quoting myself on July 1st: <https://discord.com/channels/371759389889003530/768367394547957761/1257269432582144093>
> And I think it's quite important to document and give examples of "new > concepts" <https://github.com/nim-lang/Nim/issues/20225> > If we want to have > a strong ecosystem that interops. > i.e. address the interface/traits needs. I never used the "new concepts" but it might be explained if you add the `{.explain.}` pragma like so: type Addable = concept proc `+`(x, y: Self): Self Coll[T] = concept iterator items(x: Self): T AddableColl[T] {.explain.} = concept iterator items(x: Self): T proc `+`(x, y: T): T Run