mathematician and rock climber
Adapted from A Tale of 3 Nightclubs
In which we will see how to use the type system to handle failure with the Either type and the Validation type.
Higher kinded types are represented by a unique string literal (called URI).
There’s a central type dictionary where a mapping URI -> concrete type is stored
See also: Another (better) way to get higher kinded types in TypeScript