Haskell 重叠实例和类型函数

我有以下类型类，它模拟了类似 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

问题是我在优化类型函数上收到错误“冲突的族实例声明”。这是为什么？我该如何解决？拥有一个“后备实例”而不是必须穷尽所有情况（可能很多）真的很好......

类型族中存在重叠实例是非法的。请参阅GHC手册 http://haskell.org/ghc/docs/latest/html/users_guide/type-families.html#type-instance-declarations，“类型同义词实例的重叠”了解详细信息。

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