pub const EXHAUSTIVE: Exhaustive;
The one of these that does not have to be constructed, since it holds nothing.