Absract .element-witness classes