Providing an interpreter that produces examples of correct structures from schemas could be useful for - helping ensure schemas are correct - building type providers from schemas