Interesting project. I wonder what is the relation to approaches that allow explicit composition of enumerators, such as [1]? It seems that this approach could provide a nice interface for generators that need to be constructed explicitly. (This would be interesting to explore. By the way, I am the developer of the SciFe enumerator framework.)