diff --git a/TODO.md b/TODO.md
index e33a0f2..25462cc 100644
--- a/TODO.md
+++ b/TODO.md
@@ -6,6 +6,8 @@
 -implement field access
 - standardize on an error type that isn't String
 -implement a visitor pattern for the use of scope_resolver
+  - maybe implement this twice: 1) the value-returning, no-default one in the haoyi blogpost,
+                                2) the non-value-returning, default one like in rustc
 
 ## Reduction
  - make a good type for actual language builtins to avoid string comparisons