Зачем выводить Typeable для этого типа

Question

В xmonad исходном коде я нахожу:

data Resize     = Shrink | Expand   deriving Typeable

Я не могу понять, почему это должно происходить из Typeable

Я видел знаменитый сообщение в блоге от Chrisdone, которое объясняет различные способы использования Typeable.Но я не могу найти ни одного сценария в исходном коде xmonad.

Есть подсказка?

Answer 1

Это остаток старых версий GHC.В настоящее время Typeable выводится для всех типов автоматически, а deriving Typeable ничего не делает, но допускается для обратной совместимости.

Answer 2

Typeable всегда можно получить для всех типов, так что ... почему бы и нет?Код xmonad может не использовать экземпляр Typeable, но пользователи могут захотеть.

Обратите внимание, что Typeable - это класс, экземпляры которого обычно , а не определяются вручную.