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
-
Which for me each of these is: an element of a set of all possible lists. After all type constructor is just a function from one set/type into another.
Yes, true, but it's not a function over *values* and if I can nail a word like "function" to "function over values" it makes a lot of things easier elsewhere...