Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T7019.stderr
1
2 T7019.hs:11:1: error:
3     ā€¢ Illegal polymorphic type: forall a. c (Free c a)
4       A constraint must be a monotype
5     ā€¢ In the type synonym declaration for ā€˜Cā€™