I've been reading all the [issues related to static and templates](https://github.com/nim-lang/Nim/issues?q=is%3Aissue+is%3Aopen+static+template), [macros](https://github.com/nim-lang/Nim/issues?q=is%3Aissue+is%3Aopen+static+macro) and [typedesc](https://github.com/nim-lang/Nim/issues?q=is%3Aissue+is%3Aopen+template+typedesc). I see that I'm entering the fuzzy zone where Nim typing is not totally defined and the syntax is moving. The discussions on generics vs type variables shows that there's no consensus on how types variability must be managed in Nim. And I think that it impacts finding a clean way to solve these types of bugs.
Meanwhile, I have to find a way to change my code to stay in Nim safer areas, _if possible_.
