¿Qué significa una tubería en una definición de clase?

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

¿Cuál es el significado de la tubería de arriba? El fragmento proviene del here.

Answer 1

En realidad, es un "functional dependency". En este caso, eso significa que m identifica de manera única w - el tipo m determina el tipo w. (This puede ser un mejor enlace)