The type of the composition of the type constructors, applied to a specific type.
The type of the composition of the type constructors, applied to a
specific type. This can be seen as a right fold with initial element
α
and type constructor application as the function.
The first type constructor in this list is applied last.
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.
A structure storing a list of type constructors in the type, providing type conversions for composition and products.
There are no values of this type.
scalaz.typelevel.TypeClass