haskell - 为什么 GHC 会产生以下错误信息？

Question

给定以下程序:

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE FlexibleInstances #-}

import Control.Monad.Reader

newtype AppM a = AppM (ReaderT Int IO a)
  deriving (Functor, Applicative, Monad, MonadReader)

MonadReader派生声明应为 MonadReader Int . GHC 产生以下错误消息:

Expecting one more argument to ‘MonadReader’
Expected kind ‘* -> ghc-prim-0.4.0.0:GHC.Prim.Constraint’,
  but ‘MonadReader’ has kind ‘*
                              -> (* -> *) -> ghc-prim-0.4.0.0:GHC.Prim.Constraint’
In the newtype declaration for ‘AppM’

这个错误信息让我很困惑。那种 MonadReader是 * -> (* -> *) -> GHC.Prim.Constraint ，如错误消息所述，这是有道理的。但是，错误消息指出它需要类型 * -> GHC.Prim.Constraint ，尽管 MonadReader Int其实是种 (* -> *) -> GHC.Prim.Constraint .

鉴于那种 *和 * -> *不匹配，这个错误信息不仅对我有误导，而且实际上是不正确的。这是一个错误，还是我忽略了此错误消息中的某些内容？

Answer 1

如Tikhon Jelvis said ，这是一个错误。亚历克西斯金开业this ticket ，四个月前按固定方式关闭。