> 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