Sure, that could work, or something like mapM_ :: (ByteString -> m a) -> ByteStream m b -> m b And then you just have writeStreamToStdout = mapM_ writeBytesT

Sure, that could work, or something like mapM_ :: (ByteString -> m a) -> ByteStream m b -> m b And then you just have writeStreamToStdout = mapM_ writeBytesToStdout