Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail160.hs
1 -- Kind error message
2
3 module ShouldFail where
4
5 data T k = T (k Int)
6
7 g :: T Int
8 g x = x