Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / Tcfail186_Help.hs
1 module Tcfail186_Help where
2
3 type PhantomSyn a = Int
4
5 f = (\_ -> 2) :: PhantomSyn a -> Int