Directly implement ToJSON on @ instead of an intermediate ToJSONObject =>...

Directly implement ToJSON on @ instead of an intermediate ToJSONObject => ToJSON to avoid confusing the compiler

lib/GEODE/Metadata/Types.hs

@@ -35,9 +35,10 @@ class ToJSONObject a where
   toJSONObject :: a -> Object
   toJSONPairs :: a -> Series
 
-instance {-# OVERLAPPABLE #-} ToJSONObject a => ToJSON a where
-  toJSON = Object . toJSONObject
-  toEncoding = pairs . toJSONPairs
+instance {-# OVERLAPPABLE #-} (ToJSONObject a, ToJSONObject b) =>
+  ToJSON (a @ b) where
+  toJSON (a :@: b) = Object $ toJSONObject a `Object.union` toJSONObject b
+  toEncoding (a :@: b) = pairs $ toJSONPairs a <> toJSONPairs b
 
 instance {-# OVERLAPPABLE #-} (FromJSON a, FromJSON b) => FromJSON (a @ b) where
   parseJSON o = (:@:) <$> parseJSON o <*> parseJSON o