The type of the composition of the type constructors, applied to a specific type.
The type of the product of all type constructors applied to a specific type.
The type of the product of all type constructors applied to a specific type. In this case, "product" means a scalaz.typelevel.HList.