-
Around-Invariant through coproduct that isn't consistent before/after action.
-
Test other combinations of {+>,<+} x {c,a}
-
Repetition in error msg annoying: ✘ 1.1 text should be "No food? ← 1.1.1 → 1.0.2". -- Expected "No food? ← 1.1.1 → 1.0.2", not "No food?→1.0.2".
- Have .stateless called automatically in Plan/Test.
- Report user-defined
fon failure. - Nest invariant coproducts, display choice value in History.
- Show O and/or S on failure.
- Action to log O and/or S.
- Monocle module for post-action state updates.