public record Circle(double r) implements Shape {}