I think that `type T = ...` and `... is T` has a separate meaning. In my example you could write `proc f(x: Has[seq[any]])`, which I don't know how to resolve with `=`.
I understand that `static[int]` is useful, and thanks for the example (I've seen that you have some open github issues with `static[T]`, let's talk about those later, I hope that I can help). Here `static[int]` is a type, therefore it can be used in concepts. jcosborn suggested that we could use `const` as well, I don't know how that would work, or whether that would be helpful.
