Universally Quantified Types Are Not Templates

Variable types (à la System F) are not templates, though one can think of them as type schemata. A template