Перекрывающиеся экземпляры Haskell и функции типов

Question

У меня есть следующий класс типов, который моделирует SQL-подобную оптимизацию запросов:

class OptimizableQuery q where
  type Optimized q :: *
  optimize :: q -> Optimized q

instance Query q => OptimizableQuery q where
  type Optimized q = q
  optimize q = q

instance (Query q, OptimizableQuery q) => OptimizableQuery (Select (Select q p) p) where
  type Optimized (Select (Select q p) p) = Select (Optimized q) p
  optimize (Select (Select q _) p) = Select (optimize q) p

проблема в том, что я получаю сообщение об ошибке "Конфликт объявлений экземпляров семейства" в функции оптимизированного типа. Почему это так и как я могу это решить? Было бы неплохо иметь "запасной экземпляр" вместо исчерпания всех случаев (которых может быть довольно много)...

Answer 1

Недопустимо иметь перекрывающиеся экземпляры с семействами типов. Подробности см. В руководстве GHC"Перекрытие экземпляров синонимов типов".

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