関数型プログラミング言語Haskell Part31©2ch.net

[985 デフォルトの名無しさん 2019/01/24(木) 18:27:39.45 ID:tqh7mtUe]

mtl パッケージの Control.Monad.Reader モジュールで MonadReader クラスが定義されています。

この定義で、なぜ m -> r などという制約が課せられているのでしょうか。

class Monad m => MonadReader r m | m -> r where

この制約がないと何が不都合なのでしょうか。