F-終余代数
これは無限のデータ構造を表すらしい
ref