-processed by an embedded circuit compiler. As Haskell's choice elements
-(\hs{if}-expressions, \hs{case}-expressions, pattern matching, etc.) are
-evaluated at the time the domain-specific datatype is being build, they are no
-longer visible to the embedded compiler that processes the datatype.
-Consequently, it is impossible the capture Haskell's choice elements within a
-circuit description when taking the embedded language approach. However,
-descriptions can still contain polymorphism and higher-order functions.
+processed by an embedded circuit compiler which can perform for example
+simulation or synthesis. As Haskell's choice elements (\hs{if}-expressions,
+\hs{case}-expressions, etc.) are evaluated at the time the domain-specific
+datatype is being build, they are no longer visible to the embedded compiler
+that processes the datatype. Consequently, it is impossible the capture
+Haskell's choice elements within a circuit description when taking the
+embedded language approach. Descriptions can however still contain
+polymorphism and higher-order functions.