アプリケーション制御実行の論文は、@monadで実行されています。