Higher-Kinded Types

Part of a series of learnings from http://lambdaconf.us/

A higher-kinded type takes a type (or multiple types) in order to be fully defined. It’s like currying or partial application.

For example, tuples: tuple<number, number> => point

SOURCE:

Chris Stead talk at LambdaConf 2016