diff -r 48d08d99b948 -r 6650243f037f TODO
--- a/TODO	Fri Mar 19 00:35:58 2010 +0100
+++ b/TODO	Fri Mar 19 00:36:08 2010 +0100
@@ -3,6 +3,8 @@
 - maybe <type>_perm whould be called permute_<type>.simps;
   that would conform with the terminology in Nominal2
 
+- we also need to lift the size function for nominal
+  datatypes
 
 Bigger things: