let x = 「複雑な式」
と書くと、xに束縛されるのは、
この式の評価結果（42という整数
としよう）ではなく、簡約グラフ
と呼ばれる一種の計算手順であると
入門者向けの説明ではなっている。
また、この式が42に簡約されるのは、
xまたはxを含む式をファイルに書き
だすときである。

結果、つまり、ファイルに42が書かれる
ことは間違いない。しかし、簡約グラフ
が蓄積されるかもしれない。そこで、
簡約グラフの形成後、ただちにこれを
42に簡約する指示を与える術がプログラマ
に与えることを考え、これにforceという
名前をつけたのである。

seq a bはこの弱いバージョンで、bよりもa
が先に簡約されることしか指示してない。