It is used to model continuation-passing style.
これは継続渡しスタイルのモデルとして使われる。