http://lambda-the-ultimate.org/node/3319#comment-48760

On the Logical Basis of Evaluation Order and Pattern Matching
...the answer to the question of eager vs. lazy evaluation is encoded in types, rather than being a global property of the language.

А действительно, почему бы и нет? Эффекты-то типами отделяют, так и с порядком вычислений можно сделать.