Wed Aug 5 22:22:41 EDT 2015


Actually what I want is:

Stream -> m Stream

Ok... time to get the meandering under control..  I clearly don't
understand something deep enough..

While it is trivial to map monadic functions over instances, it is
somehow not so simple to do this the other way around (defining the
individual functions over the signals).