class Range implements AutoCloseable {

    public Range span(Range other)
    {
        Marker lowMarker = Marker.min(low, other.getLow());
        Marker highMarker = Marker.max(high, other.getHigh());

        return new Range(lowMarker, highMarker);
    }

    @JsonCreator public  Range(
            @JsonProperty("low") Marker low,
            @JsonProperty("high") Marker high);

}