несколько связанных инстансов разных классов? Ну типа
instance Semigroup Foo, Monoid Foo where
(<>) = ...
mempty = ...
исключительно ради компактности
у меня иногда возникает желание, чтобы 1-функциевый класс по синтаксису был не сложнее этой функции
Обсуждают сегодня