Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T12803.stderr
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps