diff --git a/doc/ideas.md b/doc/ideas.md
index 436fff9..14c3e75 100644
--- a/doc/ideas.md
+++ b/doc/ideas.md
@@ -12,8 +12,6 @@
 
 * Provide significant IO functionality.
 
-* Have methods for representing algebraic data types built into the machine.
-
 * Provide efficient native methods for manipulating commonly used types
   * Strings (don't represent as a list of characters, god)
   * Characters
@@ -23,6 +21,9 @@
   * Lists (cons linked list), efficient map and foldr builtin would be really nice
   * Arrays (constant lookup continous memory)
 
+* Have methods for representing algebraic data types built into the machine.
+  * Sums and products of arbitrary size, and methods for (de)constructing them.
+
 # Non-Goals
 
 * Safely error out or leave catchable exceptions when instruction is called with wrongful operands.