Collectives: Compositional protocols for contributions and returns