<i>That's</i> the link I was looking for, I knew had seen this somewhere before. The Python one is entertaining, but the Haskell one is brilliant. "explicit type recursion with functors and catamorphisms", ha. I finally learned what a functor is a few days ago.