Stream can be constructed with ReducibleType.