[Haskell-cafe] Declaring variance of class parameters?

[Jacques Carette]

If I have a class, say
class Symantics repr where
  int:: Int -> repr Int

and so on, I would like to *require* that 'repr' be covariant.  Is there 
any way to do that?

Jacques