Function prop::imply::eq_left

pub fn eq_left<A: Prop, B: Prop, C: Prop>(
    (ab, ba): Eq<A, B>
) -> Eq<Imply<A, C>, Imply<B, C>>

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