リストの長さ（要素数）を調べる関数に、lengthというのがある。この関数を処理系に打ち込んでみると、 LENGTH : (SEQ)と表示される。どうやら、SEQUENCEというデータ型があり、それの長さを調べることができる、というものだ。当然、リストはSEQUENCEの一部…