pub fn cardinal_prime<A, B, C, D, F, G>(f: F, g: G) -> impl Fn(A, B) -> Dwhere F: Fn(C, A) -> D, G: Fn(B) -> C,
C’ combinator