чтобы дерайв заработал?
newtype MyCt m a = MyCt { runMct :: forall r . ContT r m a } deriving (Functor, Applicative, Monad, MonadReader r, MonadIO)
по идее все эти инстансы должны существовать
Это две разных r? Вообще, Cont[T] - это не монад-трансформер, я бы на расчитывал особо на поведение m под ней
Да разные, я просто не уверен как дерайвинг екстеншнами правильно пользоваться. Но как оказалось и не нужно
> Cont[T] Внимание, скала на корабле
Обсуждают сегодня