singleton-trait (cargo): Singleton trait for types with unique values and Erased type for zero-sized ownership proofs
Keywords: trait|experimental|proof|singleton|ghost