pub type States<'a, F, Q, L> = Keys<'a, Q, HashSet<Labeled<Configuration<F, Q>, L>>>;
pub struct States<'a, F, Q, L> { /* private fields */ }