export coproduct combinator for perturb