> Er? Without laziness, you're going to try to evaluate the bottoms
> regardless of where they are.
Exactly: with lazyness, either associativity gives the same result,
and without lazyness either associativity also gives the same result.
The two seem orthogonal to me.
Stefan