Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail213.hs
1 {-# LANGUAGE TypeFamilies, ConstraintKinds #-}
2 module ShouldFail where
3
4 import GHC.Exts( Constraint )
5
6 type family F a :: Constraint
7
8 class (F a) => C a where