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