a lazily evaluated sequence type for Python