also this doesn't work
type
Hello[A,B] = object
a : A
b : B
proc hi(a : Hello[any,any]) =
discard
var
x = Hello[int,float](a:5, b:7.0)
hi(x)
Runas it tries to bind any to the same type
