Здравствуйте, lomeo, Вы писали:

L>>>

L>>>enumerate = zipWith (map . (,)) [1..]
L>>>

МС>>Да, спасибо, это оно самое.
МС>>Попытался расписать типизацию на бумажке — чуть мозг не свернул

L>На самом деле ничего страшного здесь нет. Просто никогда так не пиши

А по-моему всё предельно понятно. Почему бы так не написать? Мне тоже сразу придумался именно этот код.