Type signatures in instance declarations?

[George Russell]

Why are these illegal?  I appreciate that they can't give useful information
to the compiler, which knows the type already from the class, but in my
opinion they are still useful to the maintainer, because they serve as
a reminder of the type.