Concurrent Clean : 正格／遅延

ある関数の引数や返値について、正格評価か遅延評価のどちらを使いたいかは、その関数自身ではなく、呼び出し元の側の都合の方が大きいような気がする。
ただ、純粋な関数型言語では、呼び出し元からは、意味的に正格評価と遅延評価の差異はない(*1)から、対象となる関数自身で正格評価か遅延評価かを決めてよいとして、Cleanの正格性の注釈や正格性アナライザが動作しているのだろうか？
*1 ただ、そう思っただけだが、本当か？