在Haskell中定义类型类的名称后，函数后面的垂直条是什么意思？

Question

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

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

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