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
-
I'm actually not sure...! Because it depends on how you interpret "instance"... (and also, I could read `Monad[List]` as a term or type expression, with different meanings)!
If I go with "variant" (rather than instance) for the thing I'm trying to describe, would you prefer me to say, "List[Int] is a variant of List[T]", or "List[Int] is a variant of List"?