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

[0986 デフォルトの名無しさん 2019/01/24(木) 23:18:18.45 ID:9BqsZZXL]

関数従属を消すとコンパイルが通らなくなる例
https://ideone.com/sdajAE

具体的には instance Monad m => MonadReader r (ReaderT r m) の他に
instance Monad m => MonadReader () (ReaderT r m) もあり得るから
MonadReaderに関数従属がないとReaderTの型クラスのようには扱えない