Just to clarify, `tuple1[1]` is the dimension and and `tuple1[0]` is the type? Would it make sense to do these two tests the other way round?