Mon Aug 17 11:19:19 EDT 2015

Expressing temporal behavior

class Monad m => Feedback m s where
  feedback :: s -> (s -> m (s, t)) -> m t

Here (m t) should be something like (m (r (Stream t))).

How to get that 'r' in there?  Any parameter added propagates to
places where it is in the way.

So the conly conclusion I have now is that in the feedback equations,
the base types are already streams.  The 'r' is already Sig r.

But I can't express it because of how the 'm' is on the outside.


This needs some sink-in time..