Any in Haskell Report

Folks, In the Haskell Report, Feliks points out: | On pp. 5 and 120 the rule for "ANYseq" has a very strange | structure: why the | "{ANY}" at the beginning and end of the subtracted stuff? It | seems it could | be simplified, or at least explained. I have no idea why it can't be just ANYseq -> {ANY}_<opencomment | closecomment> Can anyone see why this simpler form would not work? I propose to adopt this simplification. Simon