/**
 * Una figura del plano. La jerarquía está cerrada: solo estos tres records
 * pueden implementar Shape, y el compilador lo sabe.
 */
public sealed interface Shape permits Circle, Square, Triangle {
}