Re: Compile error when wrapper type(...) with template

[LeuGim]

The issue with `foo2` and `foo3` is one and the same: when called from a 
generic proc, untyped-arguments templates in them won't be used for type 
annotations. Your `getType` is not used then, so `macros`'s one used, if you 
import it, what you can see by using explicit `your_module_name.getType` \- 
then `import macros` will change nothing.