[TYPES] System F and Type Generativity

[Stefan Monnier]

> type unequal to all others. This would be essentially a type-level
> effect.  Are there any variants of System F that include such an
> extension?

There's obviously Derek Dreyer's RTG (Recursive type
generativity. Journal of Functional Programming, 17(4&5):433­471, 2007).


        Stefan