> Can someone remind me why the "A close brace is also inserted whenever > the syntactic category containing the layout list ends" part > of the rule is there? x = (3, case True of True -> 4) The ')' ends the syntactic category 'tuple' Arjan