diff --git a/TODO.org b/TODO.org
index 68db3b8d..2d5643fc 100644
--- a/TODO.org
+++ b/TODO.org
@@ -296,6 +296,10 @@ keyword resolves against the expected type and against nothing else, so two enum
 could always share a member spelling. What the prefix buys is the call site read
 on its own.
 
+** WAIT ML-style patterns
+Held 2026-09-25 as a future direction, like the JS backend: nested destructuring,
+guards, or-patterns, literals at any depth, exhaustiveness over the nesting.
+
 ** DONE match over numbers and strings
 CLOSED: [2026-09-25]
 Rules out a literal the scrutinee's type cannot hold (refused, not widened as =(=)=