有沒有辦法向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' 
... 

您不能獲取行信息，它只顯示當前已加載的模塊，但足以狩獵實例。