generated at
hyperfunction
Coroutining Folds with Hyperfunctions
pdf
Sava Krstic, John Launchbury

このへんっておなじ？
https://ja.wikipedia.org/wiki/佐藤超函数
佐藤超函数
https://ncatlab.org/nlab/show/hyperfunction