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 manual，“重叠类型同义词实例”。

原因是根据可用的实例，对类型函数应用程序有两种不同的可能结果可能导致不健全。