Function prop::eq::in_right

pub fn in_right<A: Prop, B: Prop, C: Prop, F, G>(
    eq_ab: Eq<A, B>,
    f: F,
    g: G
) -> Eq<A, C>where
    F: Fn(B) -> C + 'static,
    G: Fn(C) -> B + 'static,

Makes it easier to traverse.