Characteristic predicate Type::ErroneousType::ErroneousType

ErroneousType()