Question: Myrtus and Chrysanthemum, are which mutual specific types?
Sentence (from "Generic programming"): They are known as "parametric polymorphism" in ML, Scala, Haskell (the Haskell community also uses the term "generic" for a related but somewhat different concept) and Julia; "templates" in C++ and D; and "parameterized types" in the influential 1994 book "Design Patterns".
Relevant evidence: No