What English word would you use to describe a particular example of a type constructor, in the sense that `List[Int]` and `List[String]` are examples of `List`s? I'd like to avoid calling them "examples" if possible.
Show this thread
-
Variants
"Variant" was actually my instinctive choice... but I put it to one side because it sounded too close to "variance". But having said that, *variance* governs different *variants* of a type, which might make it actually a perfect choice. The allusion to variance is a good thing!
