тоже?
Неправильно понимаешь, в комоноиде на две буквы больше
class Comonoid a where comempty :: a comappend :: a -> a -> a comconcat :: a -> [a] Это комоноид или нет?
https://stackoverflow.com/questions/23855070/what-does-a-nontrivial-comonoid-look-like
Обсуждают сегодня