正格評価をさせるもっとも基本的
な言語要素がseq　a　bなのはなぜ
なのでしょうか。force aがあって、
その場で、ただちにaを簡約するとなっ
いれば、seqよりも一般的と思う。