monads - Haskell 多参数类型类中的上下文是什么

Question

在《Real World Haskell》第 15 章中，定义了类型类:

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

几段之后，它说由于上下文的原因，>>= 和 return 不需要定义。但没有进一步解释上下文的含义。

如果只有“m”是 Monad 的实例，编译器如何知道 MonadSupply 是 Monad 的实例？

Answer 1

“上下文”只是 class 和 => 之间的部分，在本例中是约束 Monad m。与其说它“知道”，不如说它强制它——为类型 m 编写一个 MonadSupply 实例，该类型不知道没有 Monad 实例会产生编译器错误。