i1 : L = (a,b,c) o1 = (a, b, c) o1 : Sequence
i2 : pairs L o2 = ((0, a), (1, b), (2, c)) o2 : Sequence
i3 : pairs {x,y,z} o3 = ((0, x), (1, y), (2, z)) o3 : Sequence