cosa è contesto in Haskell classe tipo multiparametrica

Question

Nel capitolo 15 della Real World Haskell, una classe tipo è definito:

class (Monad m) => MonadSupply s m | m -> s where 

Un paio di paragrafi dopo, si dice che >> = e tornare non hanno bisogno di essere definito a causa del contesto. Ma non c'è altra spiegazione di cosa significhi per contesto.

Come fa il compilatore a sapere che MonadSupply è un'istanza di Monad se solo 'm' è un'istanza di Monad?

Answer 1

Il "contesto" è solo la parte tra class e =>, che in questo caso è il vincolo Monad m. E non è tanto che "sa", più che è applica - scrivendo un'istanza di MonadSupply per un tipo m che non ha anche un'istanza Monad produrrà un errore del compilatore.