сложение и умножение. Имеет ли смысл перекинуть их для алгебраической структуры данных вида s (f :: * ->*), где каждый елемент f ? Делал ли кто-то подобное?
https://hackage.haskell.org/package/generics-sop-0.5.1.2/docs/Generics-SOP.html#t:HPure смотри начиная отсюда там и hmap :: (f ~> g) -> h f a -> h g a и hsequence :: h f a -> f (h Identity a) тут f это даже не Type->Type, а сразу k->Type
Обсуждают сегодня