Есть ли способ увидеть определение класса типов в ghci для определенного типа?

Например,Maybe определяется так:

instance Functor Maybe where  
     fmap f (Just x) = Just (f x)  
     fmap f Nothing = Nothing  

Могу ли я увидеть это в GHCI?

Когда я использую:info в ghci я получаю это:

Prelude> :i Maybe
data Maybe a = Nothing | Just a     -- Defined in `Data.Maybe'
instance Eq a => Eq (Maybe a) -- Defined in `Data.Maybe'
instance Monad Maybe -- Defined in `Data.Maybe'
instance Functor Maybe -- Defined in `Data.Maybe'
instance Ord a => Ord (Maybe a) -- Defined in `Data.Maybe'
instance Read a => Read (Maybe a) -- Defined in `GHC.Read'
instance Show a => Show (Maybe a) -- Defined in `GHC.Show'

В приведенном выше выводе я хочу увидеть, как он определяется в Data.Maybe в качестве экземпляра дляFunctor, Во всяком случае, чтобы увидеть это в GHCI?