Нетривиальная отложенная оценка

В настоящее время я перевариваю красивую презентацию Зачем изучать Haskell? Кигана Макаллистера. Там он использует фрагмент

minimum = head . sort

как иллюстрацию ленивого вычисления Haskell, утверждая, что минимум имеет временную сложность O (n) в Haskell. Однако я думаю, что этот пример носит академический характер. Поэтому я прошу более практичный пример, где нетривиально очевидно, что большая часть промежуточных вычислений отброшена.