Generic Type Variable ↔ special Variable that works on Types instead of Values

References