ghci: информация и пикша по синонимам типа

Question

У меня есть синоним типа как

type Events t b = Tb.T t b

Базовый тип Tb.T является экземпляром многих классов типов, например

instance [safe] (Eq time, Eq body) => Eq (Tb.T time body)
instance [safe] Functor (Tb.T time)
..

Мой синоним типа (конечно) наследует все эти экземпляры. Например, это также Функтор:

λ> :t flip fmap (undefined :: Events Int String)
flip fmap (undefined :: Events Int String)
  :: (String -> b) -> Tb.T Int b

но этот факт не показан в GHCI :info ни в сгенерированной документации пикши. Кроме того, я бы предпочел, чтобы возвращаемый тип Events Int b вместо Tb.T Int b,

Есть ли способ обойти это?