An introductory article that connects algebraic datatypes, combinatorial structures, and generating functions. Includes a bibliography on the fascinating literature around this.