haskell - 特定のインスタンスが定義されている場所についてGHCIに質問する方法はありますか？

Question

たとえば、「RWSはMonadStateのインスタンスとしてどこで定義されていますか」とクエリできますか？モジュール（バージョン）、ソースファイル、行のような答えを期待します。

Answer 1

λ> :info MonadState
...
instance (Monad m, Monoid w) => MonadState s (RWST r w s m)
  -- Defined in `Control.Monad.State.Class'
λ> :i RWS
type RWS r w s = RWST r w s Identity
        -- Defined in `Control.Monad.Trans.RWS.Lazy'
λ> :i RWST
...
instance MonadState s m => MonadState s (Reader.ReaderT r m)
  -- Defined in `Control.Monad.State.Class'
...

行情報を取得することはできず、現在ロードされているモジュールのみが表示されますが、インスタンスを追跡するにはそれで十分です。