Functional Programming – 25: Kind, Higher-Kinded Type

In Functional Programming, Kind is the classification of Types and Type constructors. Higher-kinded type is a type constructor that take other type constructors as parameters.
In this video we will look more closely into these concepts and look at some examples on why and how they are useful for being able to come up with a single model for structures like Functor.

In this Video:
– Type
– Type constructor
– Kind
– Higher-kinded type
– Right Associativity
– Functor
– Type Class