Keywords: ADT unfold - upFrom.png en ADT unfold upFrom LaTeXiT Daniel Brown LaTeX source \begin diagram \N \rDashto \tt upFrom \tt Stream _\N \\ \dTo \langle 1_\N \tt succ \rangle \dTo_ \langle \tt head \tt tail \rangle \\ \N \times \N \rTo \N \times \tt Stream _\N \end diagram Commutative squares Data structures |