Definition jsonMetadata (m : metadata) : json :=
  JsonObject [
    ("%Schema",  JsonString "urn:com.io7m.aurantium:1.0");
    ("Metadata", jsonMetadataM (mValues m))
  ].
