Re: generic template

[LeuGim]

Yes, that makes sense.

This seems to work: 
    
    
    template constructFoo*[T1, T2](): Foo[T1, T2] =
      implConstructFoo(typedesc[T1], typedesc[T2])