RhymeZone: polytype definitions

Definitions of polytype:

noun: Any of the types involved in polytypism.
noun: A cast, or facsimile copy, of an engraved block, matter in type, etc.
noun: (computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
verb: (transitive) To produce a polytype of.

(Definitions from Wiktionary)