pub trait UniqQ<A, B>: NoOtherQ<A, B> { fn uniq_q(&self, q_aa: Q<A, A>) -> Q<A, B>; }
If something is qual to A, then A is qual to B.
A
B
(a ~~ a) => (a ~~ b).
(a ~~ a) => (a ~~ b)