haskell - クラス定義のパイプとはどういう意味ですか?

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 () 

上のパイプの意味は何ですか？スニペットはhereから来ています。

Answer 1

実は「機能依存」です。この場合、それはm一意に識別することを意味しますw- タイプはタイプmを決定しwます。（これはより良いリンクかもしれません。）