クラス定義内パイプは何を意味するのでしょうか？

Question

class (Monoid w, Monad m) => MonadWriter w m | m -> w where 
   pass   :: m (a,w -> w) -> m a 
   listen :: m a -> m (a,w) 
   tell   :: w -> m () 

上記のパイプの意味は何ですか？スニペットはここをrel="noreferrer"> href="http://www.haskell.org/all_about_monads/html/writermonad.html"

Answer 1

実際には、 "機能依存する" です。 m一意wを識別することを意味し、この場合 - 型mは、タイプwを決定します。 （こののが良いリンクであってもよい。）