"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video] | Not Hacker News!