如何将 Maybe-Transformer MaybeT 制作为 MonadWriter 的实例？

Question

我正在尝试构建一个 MaybeT-Transformer Monad，基于 Real World Haskell，Monad Transformers 章中的示例：

data MaybeT m a = MaybeT { runMT :: m (Maybe a) }

instance (Monad m) => Monad (MaybeT m) where
  m >>= f = MaybeT $ do a <- runMT m
                        case a of 
                            Just x -> runMT (f x)
                            Nothing -> return Nothing
  return a = MaybeT $ return (Just a)

instance MonadTrans MaybeT where
  lift m = MaybeT $ do
                     a <- m
                     return (Just a)

这很好用，但现在我想制作 MaybeT MonadWriter 的一个实例：

instance (MonadWriter w m) => MonadWriter w (MaybeT m) where
 tell = lift . tell 
 listen m = MaybeT $ do unwrapped <- listen (runMT m)
                        return (Just unwrapped)

tell 没问题，但我无法正确使用 listen 函数。经过 1 1/2 天的构造函数折纸后，我能想到的最好的就是您在上面看到的：展开应该是一个 (也许 a, w) 的元组，并且我想包装在 Maybe-Type 中，并将整个内容放入空的 MonadWriter 中。

但编译器抱怨：

Occurs check: cannot construct the infinite type: a = Maybe a
    When generalising the type(s) for `listen'
    In the instance declaration for `MonadWriter w (MaybeT m)'

我错过了什么？

Answer 1

listen 具有类型签名

  m a -> m (a, w)

，即

 MaybeT m a -> MaybeT m (a, w)

But MaybeT $listen (runMT m) >>= return 。只是 具有类型签名，

 MaybeT m a -> MaybeT m (Maybe a, w)

因此会引发无限类型错误。您需要将 unwrapped :: (Maybe a, w) 转换为 Maybe (a, w) 才能继续：（

listen m = MaybeT $ do (val, wr) <- listen (runMT m)
                    case val of
                        Nothing -> return Nothing
                        Just x  -> return (Just (x, wr))

顺便说一句，有一个 MaybeT 的实现 < a href="http://www.haskell.org/haskellwiki/New_monads/MaybeT" rel="noreferrer">http://www.haskell.org/haskellwiki/New_monads/MaybeT。）