Я пытаюсь понять Traversable с помощью https://namc.in/2018-02-05-foldables-traversals. Где-то...

Я хотел бы выразить следующий код на Haskell, используя только алгебру функторов (т.е. - , а не ,...