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