4 lines
183 B
JavaScript
4 lines
183 B
JavaScript
/**
|
|
* @file Type defunctionalization (as describe in [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf))
|
|
*/
|