Expand description
this module defines the [HKT] trait for establishing a common interface
for higher-kinded types, which are types that take other types as parameters.
this module defines the [HKT] trait for establishing a common interface
for higher-kinded types, which are types that take other types as parameters.