Characteristic predicate Type::Type::Type

Type()