A List-like type, whose elements alternate between one of two types.