Added split[N] to Coproduct

Thanks, that is a more precise type. How about I create a refactoring PR because most of the other apply methods don't state a return type & none that do (AFAIK) use Aux ?