{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -XDeriveDataTypeable #-}

-- #1935
-- See Note [Superclasses of derived instance] in GHC.Tc.Deriv

{-# OPTIONS -fno-warn-redundant-constraints #-}

module Foo where

 import Data.Data

 data Foo a = Foo
    deriving (Data, Typeable)

 data T a = MkT (S a) deriving( Ord )

 instance Num a => Eq (T a)

 data S a = S
 instance Eq (S a)
 instance Ord (S a)


 