diff -r 8a71e90cccd0 -r d7a2c45b447a TODO
--- a/TODO	Sun Apr 11 18:18:22 2010 +0200
+++ b/TODO	Sun Apr 11 22:01:56 2010 +0200
@@ -26,6 +26,9 @@
 
 Bigger things:
 
+- Parser adds syntax for raw datatype, but should
+  add for lifted datatype.
+
 - the alpha equivalence for
 
    Let as::assn t::trm   bind "bn as" in t