class SeparateSubtype::Witness