Type List that Holds Poly Kinded Types

I need to test many combinations of types for my parser printer library.

Described in Type Combinations for Tests