Returns result of channel evaluation on O side tupled with
original output value passed to channel.
Returns result of channel evaluation on W side tupled with
original write value passed to channel.
Feed this Writer's output through the provided effectful Channel.
Feed this Writer's writes through the provided effectful Channel.