type record Geometry {
    JSON.String type_,
    Coordinates coordinates
  } with {
    variant (type_) "name as 'type'";
  }
  type record of JSON.Number Coordinate;
  type record of Coordinate Coordinates;
  type record Property {
    JSON.String key,
    JSON.String value_
  } with {
    variant (value_) "name as 'value'";
  }
  type record of Property Properties;
  type record Polygon {
    JSON.String type_,
    Geometry geometry,
    Properties properties,
    JSON.String this
  } with {
    variant (type_) "name as 'type'";
  }