I wonder if this is related to the shortest one combinator basis being λx λy λz. x z (y (λ_. z)), whose type is (a -> b -> c) -> ((d -> a) -> b) -> a -> c.