Closed brandon-leapyear closed 4 years ago
Related to #3
It would be nice to remove the IsSchemaObject constraint, especially in the Show (Object schema) instance, since schema :: SchemaType and we know IsSchemaType is defined for all SchemaTypes and we know Object contains a SchemaObject schema.
IsSchemaObject
Show (Object schema)
schema :: SchemaType
IsSchemaType
SchemaType
Object
SchemaObject
Related to #3
It would be nice to remove the
IsSchemaObject
constraint, especially in theShow (Object schema)
instance, sinceschema :: SchemaType
and we knowIsSchemaType
is defined for allSchemaType
s and we knowObject
contains aSchemaObject
schema.