@@ -369,7 +369,7 @@ instance Show (JsonRepr ('SchemaNumber cs)) where
369369 show (ReprNumber n) = "ReprNumber " P.++ show n
370370
371371instance Show (JsonRepr 'SchemaBoolean) where
372− show (ReprBoolean n) = "ReprBoolena " P.++ show n
372+ show (ReprBoolean n) = "ReprBoolean " P.++ show n
373373
374374instance Show (JsonRepr 'SchemaNull) where show _ = "ReprNull"
375375
@@ -382,6 +382,10 @@ instance V.RecAll FieldRepr fs Show => Show (JsonRepr ('SchemaObject fs)) where
382382instance Show (JsonRepr s) => Show (JsonRepr ('SchemaOptional s)) where
383383 show (ReprOptional s) = "ReprOptional " P.++ show s
384384
385+instance Show (Union JsonRepr (h ': tl))
386+ => Show (JsonRepr ('SchemaUnion (h ': tl))) where
387+ show (ReprUnion s) = "ReprUnion " P.++ show s
388+
385389instance Eq (Rec FieldRepr fs) => Eq (JsonRepr ('SchemaObject fs)) where
386390 ReprObject a == ReprObject b = a == b
387391
@@ -403,6 +407,10 @@ instance Eq (JsonRepr s) => Eq (JsonRepr ('SchemaArray as s)) where
403407instance Eq (JsonRepr s) => Eq (JsonRepr ('SchemaOptional s)) where
404408 ReprOptional a == ReprOptional b = a == b
405409
410+instance Eq (Union JsonRepr (h ': tl))
411+ => Eq (JsonRepr ('SchemaUnion (h ': tl))) where
412+ ReprUnion a == ReprUnion b = a == b
413+
406414instance Ord (Rec FieldRepr fs) => Ord (JsonRepr ('SchemaObject fs)) where
407415 ReprObject a `compare` ReprObject b = a `compare` b
408416
@@ -424,6 +432,10 @@ instance Ord (JsonRepr s) => Ord (JsonRepr ('SchemaArray as s)) where
424432instance Ord (JsonRepr s) => Ord (JsonRepr ('SchemaOptional s)) where
425433 ReprOptional a `compare` ReprOptional b = a `compare` b
426434
435+instance Ord (Union JsonRepr (h ': tl))
436+ => Ord (JsonRepr ('SchemaUnion (h ': tl))) where
437+ ReprUnion a `compare` ReprUnion b = a `compare` b
438+
427439instance IsList (JsonRepr ('SchemaArray cs s)) where
428440 type Item (JsonRepr ('SchemaArray cs s)) = JsonRepr s
429441 fromList = ReprArray . GHC.Exts.fromList