shapeless
Produces a N1-length tuple made of N2-length tuples filled with elem.
N1
N2
elem
Produces a tuple of length N filled with elem.
N