Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13300.stderr
1
2 T13300.hs:5:3: error:
3     • Data constructor ‘WI’ returns type ‘Int’
4         instead of an instance of its parent type ‘W’
5     • In the definition of data constructor ‘WI’
6       In the data type declaration for ‘W’