non-injective type family при вызове type family? https://gist.github.com/oshyshko/92c1687de65d26d79c310f67ef79963d
ну ведь там прямо в ошибке сказано что делать
хм, я не вижу там никаких рекомендаций от компилятора
тут же вроде достаточно явно дб передать
как бы да, но хочется оставить run полиморфным, чтобы ему можно было скармливать различные реализации Db
так и оставляй полиморфным
Обсуждают сегодня