相关疑难解决方法(0)

我无法弄清楚"| m - > w"-part在类定义中意味着什么:

class (Monoid w, Monad m) => MonadWriter w m | m -> w

这增加了什么附加信息给类定义？