pub fn appose<A, B, C, Duo, Mono>(d: Duo, m: Mono) -> impl Fn(A, A) -> Cwhere Duo: Fn(B, B) -> C, Mono: Fn(A) -> B,