Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13506.stderr
1
2 T13506.hs:16:12: error:
3     • Couldn't match type ‘Char’ with ‘()’
4         arising from a functional dependency between:
5           constraint ‘FunDep [Char] ()’ arising from a use of ‘singleton’
6           instance ‘FunDep [a] a’ at T13506.hs:5:10-21
7     • In the expression: singleton ()
8       In an equation for ‘illTyped’: illTyped = singleton ()