Peter Hercek wrote:
> * it is easy to mark stuff strict (even in function signatures
>  etc), so it is possible to save on unnecessary CAF creations

Also, the Clean compiler has a strictness analyzer.  The compiler will analyze code and find many (but not all) cases where a function argument can be made strict without changing the behavior of the program.