It would still have a beginning. And it would not be “for free” as the used/seen part of the data structure would remain in memory.

The list in memory would not have duplicates (which this one seems to have) because the list itself would be cyclical.

It could be infinite in both directions. That's just a zipper or

    ([a], a, [a])