Lists are Geometric Series

Infinite Expansions of Recursive Data Types