(A=>(B=>C)) => ((A=>(C=>D)) => (A => (B=>D)))