@[instance_reducible]

instance Std.instStreamIterOfProductiveOfIteratorAccessId {α β : Type u_1} [Iterator α Id β] [Iterators.Productive α Id] [IteratorAccess α Id] : Stream (Iter β) β