Noun
phantom type (plural phantom types) (computing theory) A parameterized type that does not depend on all of its type parameters.