1 2 3 4 5 6 7 8 9 10
module ShouldFail where -- This nonsense tickled a missing-kind-check error in ghc5.00.2 type A = Int 1