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
-
Variant makes me feel like it's an alternative to some sort of default type.
Yes, I see your point. I hope that it would imply the default of being unspecified, though...maybe?