haskell:在 haskell 平台 2013 2.0.0 中使用 writer monad 时，没有 (Monoid Int) 的实例

Question

module Main where
import Data.Char
import Control.Monad
import Control.Monad.Trans.Writer
import Control.Applicative
import Data.Monoid

wt :: Int -> Writer Int [String]
wt x=writer(["num:"++ show x],x)


addw::Writer Int [String]
addw = do
        a <- wt 2
        b <- wt 3
        return (a*b)

有 2 个错误:

No instance for (Monoid Int) arising from a do statement
    Possible fix: add an instance declaration for (Monoid Int)
    In a stmt of a 'do' block: a <- wt 2
    In the expression:
      do { a <- wt 2;
           b <- wt 3;
           return (a * b) }
    In an equation for `addw':
        addw
          = do { a <- wt 2;
                 b <- wt 3;
                 return (a * b) }


No instance for (Num [String]) arising from a use of `*'
    Possible fix: add an instance declaration for (Num [String])
    In the first argument of `return', namely `(a * b)'
    In a stmt of a 'do' block: return (a * b)
    In the expression:
      do { a <- wt 2;
           b <- wt 3;
           return (a * b) }

我使用 eclipse 4.4 juno 和最新的 eclipsefp，haskell 平台 2013 2.0.0 包括 ghc 7.6.3，此代码片段来自 learn you a haskell for Great Good

Answer 1

Int 本身并不是一个 Monoid，因为有两种可能的实现:Sum 和 Product.

根据您的需要使用其中任何一个。

<小时/>

哎呀。只需交换 [String] 和 Int 即可。 Monad 的最后一个类型参数始终是它生成的值。