автоматически — считать определенным Applicative и Functor, если написан Monad?
                  
                  
                
по-моему обратный вариант (который отстаивал @astynax) наоборот может привести к проблемам, вплоть до того, что liftA2 /= liftM2 и т.д.
циклы
Обсуждают сегодня