prototype: Made reduction live in IO.  More to come.