small_coproduct