1 2 3 4 5 6 7 8 9 10 11 12 13 14
{-# LANGUAGE Haskell2010 #-} -- #2538 module ShouldFail where import Data.Ix f :: (Eq a => a -> a) -> Int f = error "urk" g :: [Eq a => a -> a] -> Int g = error "urk" h :: Ix (Eq a => a -> a) => Int h = error "urk"