Tue Apr 3 13:16:26 CEST 2012

Product of State and ST?

Does it actually make sense to use a product of State and the ST
monad?  Cant the global state go in an STRef?

Anyways, I couln't quite figure out how to do this (too abstract).

But I'm starting to get confused again.  Is it possible to build a
structure and its contents separately?  Structure can be reused.  I
planned to not think of that but maybe it's actually simpler to keep
them separate.

I.e. we don't need solvers that know how to scan for undefined
variables: this can be done completely generic.  The output of a
network compilation step is a program (which solvers to run in what
sequence connected to which nodes.