diff --git a/TODO.md b/TODO.md
index 0ef3f02..88ee17b 100644
--- a/TODO.md
+++ b/TODO.md
@@ -45,6 +45,8 @@
 
 ## Language Syntax
 
+* a type like `type Klewos = Klewos { <fields> }` (i.e. a type with exactly one record-like variant) should be writeable as
+    `type Klewos = { <fields> }` as a shorthand, and should not require explicit matching.
 * the `type` declaration should have some kind of GADT-like syntax
 * use `let` sigil to indicate a variable in a pattern explicitly: