¿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 de aquí .

Answer 1

En realidad, es una " dependencia funcional " ;. En este caso, eso significa que m identifica de forma exclusiva w: el tipo <=> determina el tipo <=>. ( Esto puede ser un mejor enlace.)