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