pub type PossibleSolutions = FxIndexMap<WKVid, Vec<Binder<Expr>>>;
pub struct PossibleSolutions { /* private fields */ }