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
-
In Haskell, you'd say a type constructor like `List` is "fully saturated" when all its type variables have been given an argument, like in `List[Int]`. So maybe something related to that? A saturated type constructor?
I had never heard that before, but it makes sense. It doesn't quite fit the usage which made me ask, though: I wanted to say something like, "List[Int] or another variant of List", and avoid referencing type constructors if possible.
