How to make a particular NTuple based Type concrete

[Per]

@malacroi

I always want the first modulus to be Int64 and the remaining moduli to be numeric. Is there a convenient way to specify this in the type definition without the Union .

You could do:

struct Goose{M} 
    remainders::Tuple{Int64,Vararg{Int64,M}}
    moduli::Tuple{Type{Int64},Vararg{Int64,M}}
end

but note that M is one less than your N.