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手册 "类型同义词实例的重叠".

原因是根据可用实例为类型函数应用程序提供两种不同的可能结果可能导致不健全.