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?