釣りじゃないです。
ttp://practical-scheme.net/wiliki/wiliki2.cgi?Scheme%3Acall%2Fcc%E3%81A8%E5%89%AF%E4%BD%9C%E7%94%A8
を見て以来
継続オブジェクトを純粋な手続きにすれば参照透明性が保たれるのではないか？と考えているのです。
手続きと違うものなのにprocedure?を満たすことには違和感を覚えます。