为什么没有'Contad的`MonadTransControl`实例

Question

我不知道如何实现它，我假设可能没有办法做到这一点。有证据或有说服力的理由说它不能做到吗？

什么使ContT特别？

Answer 1

一般来说，您可以通过ContT r m得到的唯一值是类型m r。的Run (ContT r)类型签名将是

Run (ContT r) = forall n b. Monad n => ContT r n b -> n (StT (ContT r) b) 

这相当于

forall n b. ((b -> n r) -> n r) -> n (StT (ContT r) b) 

唯一可能的类型为StT (ContT r) b是r，但即使这样，还有b -> n r类型的没有可能的定义的函数传递到ContT。并且由于liftWith被赋予了一个需要Run (ContT r)类型值的功能，因此无法实现。

restoreT使情况更糟，因为可能从一般ContT r m a中提取的任何值都不能转回ContT r m a。所以你失去了来来往往。

顺便说一句，这也是您无法制作ContT a MonadFix的原因。您不能将任意a转换为任意r，反之亦然。