finite_coproduct