[Haskell-cafe] advanced class constraints in Haskell 98?

[Henning Thielemann]

GHC accepts a class declaration like
   class Monad (m Maybe) => C m where
      ...
  without having any language extension switched on. But it isn't Haskell 
98, is it? Hugs 2005 also accepts this.