type-variance (cargo): Marker traits for subtype variance
Keywords: variance|marker|subtype