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