えーと、遅延評価の言語だと、condやifが必要ない、
って事は、delayとforceで実装する事になりそうですよね。

そこで>677のパターンマッチ使った定義に戻るんですけど、
ifを公理とすると、パターンマッチは定理みたいな関係
だと思ったんですよ。より複雑なモジュール使ってるから
>677みたいな事ができる。

また話を戻すと、delayとforceでパターンマッチを実装する
事ができればいいって事なのかな？

うう、自分の言っている事がさっぱり分からないぜ。