Propagate Eq and Ord along @ to be able to use composite types as keys...

Propagate Eq and Ord along @ to be able to use composite types as keys (typically, ParagraphRecord defined out of ArticleRecord

lib/GEODE/Metadata/Types.hs

@@ -25,6 +25,12 @@ instance Has a b => Has a (b @ c) where
 instance {-# OVERLAPS #-} Has b (a @ b) where
   get (_ :@: b) = b
 
+instance (Eq a, Eq b) => Eq (a @ b) where
+  (a1 :@: b1) == (a2 :@: b2) = a1 == a2 && b1 == b2
+
+instance (Ord a, Ord b) => Ord (a @ b) where
+  (a1 :@: b1) <= (a2 :@: b2) = a1 < a2 || (a1 == a2 && b1 <= b2)
+
 instance (DefaultOrdered a, DefaultOrdered b) => DefaultOrdered (a @ b) where
   headerOrder _ = headerOrder (undefined :: a) <> headerOrder (undefined :: b)