Type designator for circular lists. Implemented as a satisfies type, so not recommended for performance intensive use. Main usefullness as a type designator of the expected type in a type-error .