Получите Eq и Show для псевдонима типа в Haskell

Почему все классы типов Haskell имеют законы?

Предложение для объявлений / экземпляров локальных данных

Мне любопытно, и не удалось найти предложение на что-то подобное в Haskell. Рассмотрим, если

Использование границ контекста «отрицательно», чтобы гарантировать, что экземпляр класса типа отсутствует в области видимости

Попытка рассматривать классы и подтипы типов как наборы и подмножества

Несовместимые экземпляры Eq и Ord?

Что происходит в подписи этого типа? (Vector.Mutable модификаторы в Haskell)

У мутабельных векторов в Haskell есть три мутатора уровня элемента:

Классы закрытого типа

Экземпляр Альтернативного ZipList в Haskell?

Просмотр определения класса типов в ghci для определенного типа

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