michaelt

Oh that's true. I was thinking about the Eq and Show instances together, and as not for serious use, but just for observing the operation of the underlying type experimentally....

Right, when I was writing this I was just thinking of very simple uses, partly to show how simple dumb simple preludish uses could be. `ResourceT` was understood as a...

Does a `MonadMask` instance make sense? Part of the trouble with these classes and something like `Stream` and `FreeT` is reasoning about what could be happening with the completely general...

Sorry, somehow the order of events had me misunderstand your MonadMask remark so I ended up reproducing its content. I think the order of events is now sound. The trouble...

Sorry this has been a bit confused as I am working in minute intervals. As an experimental half-measure I put up a version with a `MonadMask` instance restricted to what...

I added `bracket` and `onException` to `Streaming.Internal` as you defined them, except following the absurdly narrow constraint I put on the `MonadMask` instance.

What would be needed to write something like this, or to make it simple to get to it? (Sorry I haven't had time yet to focus on this. )

I meant to say, a problem with `instance MonadMask f, MonadMask m` is that it requires a Monad instance on `Of` to get things started, but this exists only for...

Yes I will think about this. `seconds` is more a sort of demo so it's not important; on the other hand `time` is a boot package so it doesn't really...

Right, I considered using Managed and something like `monomorphicReadFile` before going for `ResourceT`. It does have the main thing I was looking for, if I remember, which is just to...