public record Coordinate(double x, double y) { }