Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T7645.hs
1 {-# LANGUAGE TypeOperators, KindSignatures #-}
2 module T7645 where
3
4 data (+) a b = P
5
6 f :: ((+) a (a :: *), Maybe)
7 f = undefined
8