abstract type

Noun

 * 1)  a type in a nominative type system that cannot be instantiated.