С точки зрения содержательного резюме - это описание Монад, кажется, выигрывает - описывая их как «тип для нечистых вычислений». Что является эквивалентным содержательным (состоящим из одного предложения) описанием комонады?

Размышляя над тем, какой более полезный стандартный класс предложить этому class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num x, Num y) => c x...