Generators (kernel)

7.1 Generator as a Church-encoded fold

Generator A ≡ ∀R. (R → A → R) → R → R

This means:

• generators are just folds
• no runtime suspension
• no special execution model

7.2 yield

yield x ≡ λk acc. k acc x