Interface Fold3<A,​B,​C>