+
+Haskell as hardware
+ Simple function -> component interpretation (Model: Structure)
+ Model: State
+ Explicit vs implicit passing of state (e.g, delay)
+ Explicit vs implicit marking
+ Interpret: Polymorphism
+ Interpret: Higher order
+ Need: Dependent types
+ Impossible things: Infinite recursion, higher order expressions