couldn't we use something else than a sequence ? forcing the order of the elements is not really needed