pub type Mulc<A, B> = App<FMulc, Tup<A, B>>;
mul_c(a, b).
mul_c(a, b)
pub struct Mulc<A, B>(/* private fields */);