ghci不会解释文件，但是阴谋集团成功了吗？

当我在ghci/中加载某个文件时cabal repl，出现以下错误消息：

No instance for (Control.Monad.Trans.Class.MonadTrans
                   (EitherT Error))
  arising from a use of ‘lift’

但是，EitherT a绝对是的一个实例MonadTrans；它是包装的一部分。cabal build成功 也。出于某种原因（但对此感到满意），似乎ghci并且cabal repl不知道EitherT类型类实例（liftIO产生类似的错误cabal build）吗？

有人遇到过这样的事情吗？

提前致谢！:)

编辑：

是的; 大多数实例都丢失了：

λ :i EitherT
type role EitherT nominal representational nominal
newtype EitherT e (m :: * -> *) a
  = EitherT {runEitherT :: m (Either e a)}
    -- Defined in ‘Control.Monad.Trans.Either’
instance Eq (m (Either e a)) => Eq (EitherT e m a)
  -- Defined in ‘Control.Monad.Trans.Either’
instance Monad m => Monad (EitherT e m)
  -- Defined in ‘Control.Monad.Trans.Either’
instance Monad m => Functor (EitherT e m)
  -- Defined in ‘Control.Monad.Trans.Either’
instance Ord (m (Either e a)) => Ord (EitherT e m a)
  -- Defined in ‘Control.Monad.Trans.Either’
instance Read (m (Either e a)) => Read (EitherT e m a)
  -- Defined in ‘Control.Monad.Trans.Either’
instance Show (m (Either e a)) => Show (EitherT e m a)
  -- Defined in ‘Control.Monad.Trans.Either’
λ

但是，如果我跑cabal get either获得该包的源代码，并打开那在cabal repl，它确实拥有所有的实例。所以...呃...为什么当我导入软件包而不是加载源代码时，它们不知道那些实例？

编辑5：

好的，这很奇怪。运行ghci（不是 cabal repl内either-4.3.3.2源目录，然后运行:l src/Control/Monad/Trans/Either.hs产生缺失的类型类的实例错误的EitherT，即MonadTrans

λ :l src/Control/Monad/Trans/Either.hs
[1 of 1] Compiling Control.Monad.Trans.Either ( src/Control/Monad/Trans/Either.hs, interpreted )

src/Control/Monad/Trans/Either.hs:287:14:
    Could not deduce (transformers-0.3.0.0:Control.Monad.Trans.Class.MonadTrans
                        (EitherT e))