scoped type variables in instance?

[Simon Peyton-Jones]

| Is rejecting Haskell 98 modules when -fglasgow-exts is on 
| also a bug? (i.e. does GHC Haskell aim to be a conservative 
| extension of H98?)

Yes, we do so aim, but this seems to be an occasion where
there's no obvious way to make the extension 100% conservative
without making the extended language rather clunky.

You can always use a different type variable name.

S