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..