+Prototype
+* Choice of Haskell
+ VHDL / Verilog / EDIF etc. Why VHDL?
+* Stages (-> Core, Normalization, -> VHDL)
+. Core - description of the language (appendix?)
+ Implementation issues -- Which?
+ State annotations
+
+ Haskell language coverage / constraints
+ Recursion
+ Builtin types
+ Custom types (Sum types, product types)
+ Function types / higher order expressions
+ State type -> Anything representable