=> map(tuples, t => cast <X1, X2, X3, X4>(t));
=> map(tuples, t => cast <X1, X2, X3, X4, X5, X6>(t));
=> map(tuples, t => cast <X1, X2>(t));