@@ -150,39 +150,37 @@ instance
150150
151151-- A bunch of @Iso@morphisms
152152textRepr
153− :: (KnownSymbol fn, SingI fn, SingI cs)
153+ :: (KnownSymbol fn, SingI cs)
154154 => Iso' (FieldRepr '(fn, ('SchemaText cs))) Text
155155textRepr = iso (\(FieldRepr (ReprText t)) -> t) (FieldRepr . ReprText)
156156
157157numberRepr
158− :: (KnownSymbol fn, SingI fn, SingI cs)
158+ :: (KnownSymbol fn, SingI cs)
159159 => Iso' (FieldRepr '(fn, ('SchemaNumber cs))) Scientific
160160numberRepr = iso (\(FieldRepr (ReprNumber n)) -> n) (FieldRepr . ReprNumber)
161161
162162boolRepr
163− :: (KnownSymbol fn, SingI fn, SingI cs)
163+ :: (KnownSymbol fn)
164164 => Iso' (FieldRepr '(fn, 'SchemaBoolean)) Bool
165165boolRepr = iso (\(FieldRepr (ReprBoolean b)) -> b) (FieldRepr . ReprBoolean)
166166
167167arrayRepr
168− :: (KnownSymbol fn, SingI fn, SingI cs, SingI schema)
168+ :: (KnownSymbol fn, SingI cs, SingI schema)
169169 => Iso' (FieldRepr '(fn, ('SchemaArray cs schema))) (V.Vector (JsonRepr schema))
170170arrayRepr = iso (\(FieldRepr (ReprArray a)) -> a) (FieldRepr . ReprArray)
171171
172172objectRepr
173− :: (KnownSymbol fn, SingI fn, SingI fields)
173+ :: (KnownSymbol fn, SingI fields)
174174 => Iso' (FieldRepr '(fn, ('SchemaObject fields))) (Rec FieldRepr fields)
175175objectRepr = iso (\(FieldRepr (ReprObject o)) -> o) (FieldRepr . ReprObject)
176176
177177optionalRepr
178− :: (KnownSymbol fn, SingI fn, SingI schema)
178+ :: (KnownSymbol fn, SingI schema)
179179 => Iso' (FieldRepr '(fn, ('SchemaOptional schema))) (Maybe (JsonRepr schema))
180180optionalRepr = iso (\(FieldRepr (ReprOptional r)) -> r) (FieldRepr . ReprOptional)
181181
182−obj :: (SingI fields) => Iso' (JsonRepr ('SchemaObject fields)) (Rec FieldRepr fields)
182+obj :: Iso' (JsonRepr ('SchemaObject fields)) (Rec FieldRepr fields)
183183obj = iso (\(ReprObject r) -> r) ReprObject
184184
185−arr
186− :: (SingI schema)
187− => Iso' (JsonRepr ('SchemaArray cs schema)) (V.Vector (JsonRepr schema))
185+arr :: Iso' (JsonRepr ('SchemaArray cs schema)) (V.Vector (JsonRepr schema))
188186arr = iso (\(ReprArray r) -> r) ReprArray