diff --git a/TODO.md b/TODO.md
index 35770f798dcec94a14b821e7084195ebbb6dce33..50c9e44ac868f997523ffc72833e161699371141 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,10 @@
 ## TO DO
 
+* We probably want a lazy variant of the combinator `**`, at the level
+  of sequences and/or enumerations, so that if the left-hand argument
+  produces an empty sequence, then the right-hand argument is not
+  evaluated.
+
 * Write some documentation.
 
 * Test. Check that `length`, `get`, `foreach` and `to_seq` are consistent.