y is a list, since it occurs as the second argument of ::, which is always a list.