小编use*_*827的帖子

在Real World Haskell的第15章中,定义了一个类型类:

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

稍后几段,它说因为上下文而不需要定义>> =和return.但是没有进一步解释上下文意味着什么.

如果只有'm'是Monad的实例,编译器如何知道MonadSupply是Monad的实例？