From 8db9176fce25efcde4b48c59cd33479c20fa68a6 Mon Sep 17 00:00:00 2001
From: Greg Shuflin <greg.shuflin@protonmail.com>
Date: Sat, 30 Oct 2021 23:20:57 -0700
Subject: [PATCH] Add TODO entry

---
 TODO.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/TODO.md b/TODO.md
index 0ef3f02..c217638 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:
 
@@ -104,6 +106,8 @@ type enum {
 
 * inclusive/exclusive range syntax like .. vs ..=
 
+* Nameable patterns/ pattern synonyms cf. https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms
+
 
 ## Typechecking