При работе с полученными экземплярами в Haskell действительно ли возможно получить функции для произвольных типов, или мы ограничиваемся конкретными функциями?

Алгебраические типы данных (ADT) в Haskell могут автоматически становиться экземплярами некоторых классов типов (например, Show, Eq), производя от них производные. данные Может быть = Ничего | Просто производное (Eq, Ord) My ...

Я продираюсь через Learn You a Haskell for Great Good и добрался до раздела 8.4 «Производные экземпляры». В этом разделе есть следующее объявление типа данных :data Person =...