Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail210.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module FancyContextsWithoutExtension2 where
3
4 type family Indexed a :: * -> Constraint
5 type instance Indexed Int = Show
6 type instance Indexed Bool = Num
7
8 f :: (Indexed Int a) => a -> a
9 f = undefined