有線タイプのクラス定義

Question

は、誰かが型クラスの定義以下の私にそれを説明してもらえます

class (Monad m, Monad n) => MonadCompose m n s t | m -> s, n -> t, n s -> m where 

|、,と->は何を意味するのでしょうか？

Answer 1

これらはfunctional dependenciesです。

で区切られた各節では、|の後に、1つの型が別の型によって決定されると記載されています。 m -> s例えば

は、彼らが参照してください sが