bearophileHUGS at lycos.com writes: > Note that where may also be designed to create a new scope (as in > Haskell, I think), that's why I have inlined the bar and p/b. In Haskell, "where" is only allowed at the outermost level of a function definition (including a nested one), not in an arbitrary expression.