I do not like the name `SchemeCompatible` since some Scheme types should be implemented with it. I think maybe "RecordType" might be better.
I do not like the name
SchemeCompatiblesince some Scheme types should be implemented with it. I think maybe "RecordType" might be better.