-- Tests kind error messages

-- GHC 6.6 stops on the first kind error it encounters,
-- so we only get one error report here.  I'll leave 
-- the other tests in here, though, in case matters improve
-- again

module ShouldFail where

data T k = T (k Int)

f :: [Maybe]
f x = x

g :: T Int
g x = x

h :: Int Int
h x = x