Abstraction of map
for container types
Wrapper for T
, used when the compiler is looking for a type constructor e.
Wrapper for T
, used when the compiler is looking for a type constructor e.g. C[_]
Generalization for types that can be interpreted as a "push" or "pop" to a stack.
Type-level tuple reduction function that treats Unit
as an Identity.