Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T9999.hs
1 {-# LANGUAGE AutoDeriveTypeable, PolyKinds, TypeFamilies, StandaloneDeriving #-}
2
3 module T9999 where
4
5 import Data.Typeable
6
7 data family F a
8
9 class C a where
10 data F1 a
11 type F2 a
12
13 main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)