pub fn reorder_args<A: Prop, B: Prop, C: Prop>( f: Imply<A, Imply<B, C>>) -> Imply<B, Imply<A, C>>
a => (b => c) => b => (a => c)
