Ага. Уже посмотрел в wadler.pdf
Вначале долго думал почему. Потом доперло, что она полиморфная, и элементы списка не трогает, только сам список.

Все-таки у чисто функциональных языков есть огромный потенциал для оптимизаций.

bottom = жопа ))

Только не понял, почему требование строгости, м.б. наоборот нестрогости?