爲什麼MonadFix的實例不能用於連續monad？

Question

我們如何證明the continuation monad沒有有效的MonadFix實例？

Answer 1

實際上，這並不是說不能有一個MonadFix實例，只是庫的類型有點過於拘束。如果你在所有可能的r小號定義ContT，則不僅MonadFix成爲可能，但到Monad所有實例需要什麼底層函子：

newtype ContT m a = ContT { runContT :: forall r. (a -> m r) -> m r } 
instance Functor (ContT m) where 
    fmap f (ContT k) = ContT (\kb -> k (kb . f)) 
instance Monad (ContT m) where 
    return a = ContT ($a) 
    join (ContT kk) = ContT (\ka -> kk (\(ContT k) -> k ka)) 
instance MonadFix m => MonadFix (ContT m) where 
    mfix f = ContT (\ka -> mfixing (\a -> runContT (f a) ka<&>(,a))) 
    where mfixing f = fst <$> mfix (\ ~(_,a) -> f a)