Reducible iteration

Iteration of `ReducibleType` via `Stream`.