/** Un cuadrado dado por su lado. */
public record Square(double side) implements Shape {
    public Square {
        if (side <= 0) {
            throw new IllegalArgumentException("lado no positivo: " + side);
        }
    }
}