← effectHKT4Models2Symbols1Utility Types1ModelsTypeClassinterfaceBase interface for type classes that work with Higher-Kinded Types.TypeLambdainterfaceBase interface for defining Higher-Kinded Type parameters.SymbolsURIconstDefines the unique symbol used to associate TypeClass implementations with their TypeLambda.Utility TypesKindtypeApplies type parameters to a TypeLambda to get the concrete type.