D
Size: a a a
D
SP
D
SP
TT
AR
A higher-kinded type is a type that abstracts over some type that, in turn, abstracts over another type. It's a way to generically abstract over entities that take type constructors. They allow us to write modules that can work with a wide range of objects.
SP
L
SP
С
L
L
SP
L
L
SP
L
SP
L
L