Jon Pretty

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.

This question arose because we can talk about `List`'s type parameter being "instantiated" (that is, decided during typechecking) to `Int` or `String`, but saying `List[Int]` is an instance of a type is problematic because it implies the creation of a new heap object.