0985デフォルトの名無しさん垢版 | 大砲2019/01/24(木) 18:27:39.45ID:tqh7mtUe mtl パッケージの Control.Monad.Reader モジュールで MonadReader クラスが定義されています。 この定義で、なぜ m -> r などという制約が課せられているのでしょうか。 class Monad m => MonadReader r m | m -> r where この制約がないと何が不都合なのでしょうか。