Tuples in the DSL may become problematic soon.

[FabrizioRomanoGenovese]

If I understood things correctly, GHC does not support tuples that have more than 62 entries. As we are producing models of increasing complexity, we are already often feeding more than 20 wires from a game to another. It is not unthinkable that we'll reach this hard-wired limit sooner than later.

Moreover, we are often in need to define functions (to be lifted to games) that take an arbitrary number of parameters of the same type as input. We would like to use typeclasses or something similar to implement these functions once and for all, but since the DSL provides inputs as tuples, this is a quite hard problem: generalizing to arbitrary tuples is difficult since parameter n in the tuple is completely independent from paramenters 1...n, and we don't have much structure to exploit.

Any suggestion to solve these problem is appreciated!

[faezs]

what structural requirements preclude using lists of parameters?