public record Square(double side) implements Shape {}