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.
Ok, added a slot in the environment monads, and parameterized