pub type Conjuction<Q, I> = Vec<(I, Q)>;
The empty conjunction is True.
pub struct Conjuction<Q, I> { /* private fields */ }