Mam klasy typu Atomic, która definiuje funkcje do konwersji niektórych typów do/z wartości opakowania (Atom). Chciałbym zdefiniować właściwość QuickCheck, która stwierdza: "dla wszystkich instancji At
Próbuję napisać prop, który zmienia Sudoku, a następnie sprawdza, czy jest on nadal ważny. Jednak nie jestem pewien, jak poprawnie używać funkcji "oneof". Czy możesz mi podać jakieś wskazówki? prop_ca