Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T3468a.hs
1 module T3468a where
2
3 import {-# SOURCE #-} T3468