Function in type definition

What I wrote before is actually wrong. NTuple or not does not matter so @ChrisRackauckas is right that the tuple will always specialize.