diff --git a/docs/TODO.md b/docs/TODO.md
index 41ac613..dae770d 100644
--- a/docs/TODO.md
+++ b/docs/TODO.md
@@ -1,7 +1,6 @@
 # TODO
 
 * over-application i.e. `fn (a) { fn (b) { a + b } }(2, 3)`
-* completely hide `vec` from type checker (`(tag thing)` == `(vec 0 thing)`)
 * allow user overrides of print functions
 * tuples - can use vec type to implement.
    * BUT - fn args are not tuples, that might interfere with currying.