warning-suppression granularity (was: Redundant constraints)

[Simon Peyton Jones]

|  Btw, there are a couple of other warnings, I have been wishing to have
|  a way to disable them on a per-entity basis... any chance for for a
|  general syntax to suppress warnings on a more granular level than per-
|  module?

I think that would be a fine idea.  But we'd need some kind of concrete syntax. And it ought to work for types and classes as well as functions...