作家Monad嵌套兩次

Question

我想用Monad變形金剛嵌套作家monad兩次。這裏是一個草圖：

import Control.Monad.Identity 
import Control.Monad.Writer 

data Struct = S Bool 

instance Monoid Struct where 
    mempty = S True 
    mappend (S a) (S b) = S (a && b) 

data Collision = C Bool 

instance Monoid Collision where 
    mempty = C False 
    mappend (C a) (C b) = C (a || b) 

type CSInt = WriterT Collision (WriterT Struct Identity) Int 

foo :: Int -> CSInt 
foo x = do (tell (S False)) ; return x 

的foo功能無法編譯，因爲我需要在Struct單子，不Collision使用tell。它有可能嗎？

Answer 1

具有多個相似的圖層實際上是一種情況，其中mtl方法意圖使lift隱含，如您所提到的那樣存在麻煩。所以你可以明確地使用lift。

lift :: Writer Struct Bool -> WriterT Collision (Writer Struct) Bool 

因此

foo x = do lift (tell (S False)) ; return x