Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T9201.stderr
1
2 T9201.hs:6:17: error:
3     • Expected kind ‘x’, but ‘a’ has kind ‘y’
4     • In the first argument of ‘f’, namely ‘a’
5       In the second argument of ‘d’, namely ‘(f a)’
6       In the type signature:
7         ret :: d a (f a)