@@ -135,6 +135,7 @@ import Data.Functor.Compose
135135import Data.Functor.Constant
136136import Data.Functor.Misc
137137import Data.Functor.Product
138+import Data.GADT.Compare (GCompare)
138139import Data.IORef
139140import Data.IntMap.Strict (IntMap)
140141import Data.Maybe
@@ -1632,7 +1633,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
16321633
16331634{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
16341635traverseDMapWithKeyWithAdjust'
1635− :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, DMap.GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
1636+ :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
16361637 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
16371638 -> DMap k v
16381639 -> Event t (PatchDMap k v)
@@ -1752,7 +1753,7 @@ hoistTraverseWithKeyWithAdjust
17521753 ::
17531754 ( Adjustable t m
17541755 , MonadHold t m
1755− , DMap.GCompare k
1756+ , GCompare k
17561757 , MonadIO m
17571758 , MonadJSM m
17581759 , PrimMonad m