@@ -107,11 +107,10 @@ import Data.Align
107import Data.Dependent.Map (DMap)
107import Data.Dependent.Map (DMap)
108import qualified Data.Dependent.Map as DMap
108import qualified Data.Dependent.Map as DMap
109import Data.Dependent.Sum (DSum (..))
109import Data.Dependent.Sum (DSum (..))
110−import Data.Functor.Product
111import Data.GADT.Compare ((:~:) (..), GCompare (..), GEq (..), GOrdering (..))
110import Data.GADT.Compare ((:~:) (..), GCompare (..), GEq (..), GOrdering (..))
112import Data.Map (Map)
111import Data.Map (Map)
113import Data.Maybe
112import Data.Maybe
114−import Data.Monoid hiding (Product)
113+import Data.Monoid ((<>))
115import Data.These
114import Data.These
117import Debug.Trace
116import Debug.Trace