Function prop::imply::reduce

pub fn reduce<A: Prop, B: Prop>(x: Imply<A, Imply<A, B>>) -> Imply<A, B>

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