iterate -is:exact -package:Agda package:conduit

Produces an infinite stream of repeated applications of f to x. Subject to fusion
Produces an infinite stream of repeated applications of f to x.