@@ -88,7 +88,7 @@ data DemotedTextConstraint
8888 | DTGe Integer
8989 | DTRegex Text
9090 | DTEnum [Text]
91− deriving (Generic)
91+ deriving (Generic, Eq, Show)
9292
9393data instance Sing (tc :: TextConstraint) where
9494 STEq :: Sing n -> Sing ('TEq n)
@@ -129,7 +129,7 @@ data DemotedNumberConstraint
129129 | DNGt Integer
130130 | DNGe Integer
131131 | DNEq Integer
132− deriving (Generic)
132+ deriving (Generic, Eq, Show)
133133
134134data instance Sing (nc :: NumberConstraint) where
135135 SNEq :: Sing n -> Sing ('NEq n)
@@ -181,7 +181,7 @@ data ArrayConstraint
181181
182182data DemotedArrayConstraint
183183 = DAEq Integer
184− deriving (Generic)
184+ deriving (Generic, Eq, Show)
185185
186186data instance Sing (ac :: ArrayConstraint) where
187187 SAEq :: Sing n -> Sing ('AEq n)
@@ -219,7 +219,7 @@ data DemotedSchema
219219 | DSchemaNull
220220 | DSchemaOptional DemotedSchema
221221 | DSchemaUnion [DemotedSchema]
222− deriving (Generic)
222+ deriving (Generic, Eq, Show)
223223
224224data instance Sing (schema :: Schema) where
225225 SSchemaText :: Sing tcs -> Sing ('SchemaText tcs)