Delete misleading comment.

There was indeed something funny going on in the commented out
definition, but it had to do with bad error-reporting, from a badly
formed definition. The definition was

   (f 0 y = x + y) /\
   (f x y = x)

which is problematic because the first clause has x free but the
second doesn't.
Delete some trailing whitespace.