>>887
CLEANは、デフォルトでは、遅延言語である。
…
型定義に正格性注釈を使用することによって、データ構造と関数の評価順序を、遅延から正格に変更できる。
http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport20/Chap10.html