pub type CombSet<G, S = ()> = CombSetImpl<G, CombMap<G, (), S>>;
pub struct CombSet<G, S = ()>(/* private fields */);