haskell - 在Haskell中定义了一个类型类的名字后，函数后面的竖线是什么意思？

Question

我正在查看megaparsec库并注意到一个类被定义为

class (Stream s, A.Alternative m, MonadPlus m)
=> MonadParsec e s m | m -> e s where

我知道我正在创建一个名为 MonadParsec 的类型类，但究竟是什么| m -> e s意思？