CONS 型(関数呼出し)

CONS 型の式の評価は CONS 型の式の car 部分に記述される関数の 型に依存する。CONS 型の式の評 価結果については関数の型についての項を参照のこと。