Handle a bigger amount of components

[int-index]

Right now I'm considering compound-types as a dependency for ether. I'm planning to use its sum/product definitions as general purpose products/sums because base only defines lazy tuples, and I need lazy tuples, strict tuples, lazy sums and strict sums. compound-types looks very nice, but I need more than 7 components, perhaps something like 50 or more.

[nikita-volkov]

Only one way to approach this: generate the definitions with TH. I will merge the according PR, but I won't be working on that myself any time soon.