diff --git a/TODO.org b/TODO.org
index 262eec92..cee24e7a 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.
 
+** TODO ML-style patterns
+Wanted: nested destructuring (data cases, structs, arrays, slices), guards, or-patterns,
+literals at any depth, and exhaustiveness checked over the nesting. Needs a design pass.
+
 ** NEXT match over numbers and strings
 Decided 2026-09-25: a match arm's pattern can be an integer, a float, a char or a
 string literal, compared as =(= t lit)=; a match over such a type needs a =_= arm.