"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]