Haskell - 执行错误

Question

我尝试写一个这个 monad

data W x = W x [String]

instance Monad W where
return x = W x []
W a h1 >>= f = case f a of 
    W b h2 -> W b (h1++h2)

但是，现在当我使用这个 monad 并尝试在代码中编写 return 或 >>= 时，我会通过编译得到警告:

No explicit method nor default method for Prelude.return in the instance declaration. No explicit method nor default method for Prelude.>>= in the instance declaration.

有人知道如何解决这个警告吗？

非常感谢

Answer 1

假设代码的布局与您的问题中显示的完全相同，问题是您的 return 和 >>= 定义没有缩进，因此它们是被定义为与 Monad 类无关的新顶级函数。缩进它们，它应该可以工作。