Free Images: "bestof:ADT fold - sum.png en ADT fold sum LaTeXiT Daniel Brown LaTeX source \begin diagram 1 + \N \times \tt List _\N \rTo 1 + \N \times \N \\ \dTo \tt nil \tt cons"