Definition jsonInfo (i : infoT) : json :=
  let schema     := [("$Schema", JsonString "urn:com.io7m.zeniro:info:1.0")] in
  let shape      := [("Shape", jsonShape (infoShape i))]                     in
  let structure  := [("Structure", jsonStructure (infoStructure i))]         in
  let extensions := [("Extensions", jsonExtensions (infoExtensions i))]      in
    JsonObject (schema ++ shape ++ structure ++ extensions).
