def prop(a: A, x: number): shuffled = a.shuffle([x]) return shuffled == [x]
def prop(a: A, x: [number]): shuffled = a.shuffle(x) return len(shuffled) == len(x)