talk Jun 26, 2014: Lazy evaluation and folds by Ian-Woo
Kim