Mon Jul 16 12:17:35 EDT 2018


How to add environment to Seq?  The thing to keep in mind is to make
this extensible.  The consumer will be the close operation, the
producer will be user code.  Let's call these "withEnable" and
"enable".  Then allow room for extension later.

No this seems wrong.  

What am I missing?

SeqEmu has an environment for the register contents.
SeqTerm doesn't.

Ok, added a slot in the environment monads, and parameterized