@Lando: that would create ambiguities: 
    
    
    proc test(x: typedesc): proc(x: int) =
      (proc(x: int) = echo x)
    
    proc test(A)(x: int) =
      echo x
    
    test(int)(123) # which one is it?
    

Personally, I also think it looks far uglier.

Reply via email to