@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.
