Tue Aug 16 18:22:37 CEST 2011


I have a feeling I came to something of a conclusion on representing
state space models.  Monads seem to be best, so I'd like to find a way
around the existential typing problem.

So what's next?

- Implement Arrows for StateProc.hs

- Tinker with that existential unpacking.  Maybe find a way to define
  a Monad from an Arrow?