Прочитал, спасибо, очень симпатичная вещь, я тоже одно время думал о неудобстве zipWithN, помня о таком простом и удобном лисповом map:

> (map + '(1 2 3) ' (4 5 6) '(7 8 9))
(12 15 18)

Но до такой вещи не додумался. В принципе, неплохой способ, жалко только, что это всё проистекает не от хорошей жизни, а от проблем в типизации Хаскеля. Трюк, как ты говоришь.