Match no exhaustivo sobre un tipo cerrado

Un `match` sobre un tipo cerrado — `bool`, un enum (incluyendo payloads), un optional de payload cerrado, una union cerrada, o tuplas/records de campos cerrados — tiene brazos sin guard que no cubren todos los valores posibles. Un brazo con guard nunca prueba cobertura, porque el guard puede evaluar a `false`.