не эквивалентны? И даже нет зависимостей между ними (типа Functor => Applicative)? И нет зависимости Monad m => CanFindXXX m a или еще какой? `Monad dbM`-то уж наверняка можно исключить
Да, CanFindXXX эквиваленты и есть более общий тайпкласс (CanFind), просто выглядит страшнее, но при наличии инстансов в нем инстансы CanFindXXX реализуются сами Monad dbM - отдельная монада, тут не понял вопроса .-.
Обсуждают сегодня