Как я могу использовать HaskellDB с полиморфными полями? (Проблемы с перекрывающимися экземплярами)

У меня есть схема, которая имеет 6 различных типов сущностей, но все они имеют много общего . Я подумал, что, вероятно, смогу абстрагироваться от большей части этой общности на уровне типов, но у меня возникла проблема с HaskellDB и перекрывающимися экземплярами. Вот код, с которого я начал, и он отлично работает:

import Database.HaskellDB
import Database.HaskellDB.DBLayout

data Revision a = Revision deriving Eq
data Book = Book

instance FieldTag (Revision a) where
  fieldName _ = "rev_id"

revIdField :: Attr (Revision Book) (Revision Book)
revIdField = mkAttr undefined

branch :: Table (RecCons (Revision Book) (Expr (Revision Book)) RecNil)
branch = baseTable "branch" $ hdbMakeEntry undefined
bookRevision :: Table (RecCons (Revision Book) (Expr (Revision Book)) RecNil)
bookRevision = baseTable "book_revision" $ hdbMakeEntry undefined

masterHead :: Query (Rel (RecCons (Revision Book) (Expr (Revision Book)) RecNil))
masterHead = do
  revisions <- table bookRevision
  branches <- table branch
  restrict $ revisions ! revIdField .==. branches ! revIdField
  return revisions

Это работает нормально, но ветка слишком специфична. На самом деле я хочу выразить следующее:

branch :: Table (RecCons (Revision entity) (Expr (Revision entity)) RecNil)
branch = baseTable "branch" $ hdbMakeEntry undefined

Однако с этим изменением я получаю следующую ошибку:

Overlapping instances for HasField
                            (Revision Book)
                            (RecCons (Revision entity0) (Expr (Revision entity0)) RecNil)
  arising from a use of `!'
Matching instances:
  instance [overlap ok] HasField f r => HasField f (RecCons g a r)
    -- Defined in Database.HaskellDB.HDBRec
  instance [overlap ok] HasField f (RecCons f a r)
    -- Defined in Database.HaskellDB.HDBRec
(The choice depends on the instantiation of `entity0'
 To pick the first instance above, use -XIncoherentInstances
 when compiling the other instance declarations)
In the second argument of `(.==.)', namely `branches ! revIdField'
In the second argument of `($)', namely
  `revisions ! revIdField .==. branches ! revIdField'
In a stmt of a 'do' expression:
      restrict $ revisions ! revIdField .==. branches ! revIdField

Я пробовал слепо бросать -XOverlappingInstances и -XIncoherentInstances ] в этом случае, но это не помогает (и я бы хотел понять, почему замена конкретного типа на переменную типа делает это настолько проблематичным).

Мы будем очень благодарны за любую помощь и совет!