I've been talking about this with @Elegantbeef Solutions that leverage on generic type without generic argument usage in type definition are affected by this issue that prevent correct binding of the desctructor: <https://github.com/nim-lang/Nim/issues/23394>
He also provided a solution possibly very similar to your proposal <https://play.nim-lang.org/#pasty=YgluvhRk>
