Yeah, it's an interesting problem. It's also not specific to variadic generics---it already exists with the 'classic' variadic parameters we have today.
func foo(x: Int..., y: Int...) {}
let fn = foo
// type of fn is (Int..., Int...) -> () which is unutterable and uncallable