Haskell does not support unboundedly highly kinded types (or whatever it is called). There is no direct way in base Haskell to declare all of 1- to 10-tuples w

Haskell does not support unboundedly highly kinded types (or whatever it is called). There is no direct way in base Haskell to declare all of 1- to 10-tuples with a single type declaration in a map or loop, for example. Template Haskell can do this, though.