make type-safe ceylon tuples from sequences

maketuples.ceylon

[X] makeTuple1<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v];
}

shared X[2] makeTuple2<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple1(s.rest)];
}

shared X[3] makeTuple3<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple2(s.rest)];
}

shared X[4] makeTuple4<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple3(s.rest)];
}

shared X[5] makeTuple5<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple4(s.rest)];
}

shared X[6] makeTuple6<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple5(s.rest)];
}

shared X[7] makeTuple7<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple6(s.rest)];
}

shared X[8] makeTuple8<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple7(s.rest)];
}

shared X[9] makeTuple9<X>([X*] s) {
	"The sequence does not have enough elements."
	assert(exists v = s.first);
	return [v, *makeTuple8(s.rest)];
}