Indexed Cocartesian Coproduct