Coproduct.fold