Function prop::quality::in_right_arg

pub fn in_right_arg<A: Prop, B: Prop, C: Prop>(
    f: Q<A, B>, 
    g: Eq<B, C>
) -> Q<A, C>

(a ~~ b) ∧ (b == c) => (a ~~ c).