
T2538.hs:6:1:
    Illegal polymorphic or qualified type: Eq a => a -> a
    Perhaps you intended to use -XRankNTypes or -XRank2Types
    In the type signature for `f': f :: (Eq a => a -> a) -> Int

T2538.hs:9:1:
    Illegal polymorphic or qualified type: Eq a => a -> a
    Perhaps you intended to use -XImpredicativeTypes
    In the type signature for `g': g :: [Eq a => a -> a] -> Int

T2538.hs:12:1:
    Illegal polymorphic or qualified type: Eq a => a -> a
    In the type signature for `h': h :: Ix (Eq a => a -> a) => Int
