Characteristic predicate Type::Type

Type()