什麼是上下文Haskell的多參數類型的類

Question

在真實世界哈斯克爾第15章，一個類型的類定義：

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

一對夫婦的段落後，它說，>> =，並返回不需要由於上下文而被定義。但沒有進一步解釋上下文意味着什麼。

編譯器如何知道MonadSupply是Monad的實例，如果只有「m」是單子的實例？

Answer 1

「上下文」只是class和=>之間的一部分，在這種情況下，它是約束條件Monad m。而且這與其說是它「知道」，更在於它強制它 - 寫MonadSupply實例的類型m不也有Monad實例將產生一個編譯器錯誤。