A DataType may be parameterized, bound, and used as TemplateParameters.