другой, но сигнатура похожа)
MonadError e m => MonadError e (MaybeT m)
а одного из методов этого класс есть quantified кострейнт
forall m. MonadError e (MaybeT m) => MonadError e m
я правильно понимаю, что гхц не может разресолвить такой констрейнт несмотря на то, что он у него под носом лежит?
я не уверен, но это похоже на недавний пропоузал и статью про двунаправленные инстансы https://github.com/ghc-proposals/ghc-proposals/pull/284
зачем здесь квантор?
Обсуждают сегодня