少なくとも俺は具体例をはじめから一つ提示しているので、その俺に
対して「具体的にどうしたら良いのですか？」と聞く必要性を感じない。
少なくとも351の時点では、俺が提示した具体例を、あなたが完全に否定
出来ていない以上、これ以上の説得力をもたせる必要性も感じない。

> (call/cc (lambda (k) (if #t X (k Y)))
> という例を考えつきました。

それは、ifの評価順を条件判定を先にするようにしてしまえば良いし、
それで特にifが役に立たなくなるとも思えない。
継続呼び出しをifの中で使うのを禁止するという手もある。

>なんか、考えれば考えるほど、役に立つ形で継続プリミティブを導入するのは
>不可能ではないかという印象を強く感じています。

難しいだろうね、とは思うし、不可能とまで断言するには根拠が薄すぎる
と思うが、別に役に立つと主張したいわけでもないので、俺はどうでも良い。

関数型の特徴と矛盾する機能ではないと言ってるだけ。