Lightweight encoding for higher kinded types.
Inspired by the Lightweight higher-kinded polymorphism paper.
Trick for achieving nominal typing.
Generated using TypeDoc
Lightweight encoding for higher kinded types.
Inspired by the Lightweight higher-kinded polymorphism paper.