Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail107.stderr
1
2 tcfail107.hs:13:9: error:
3     • The type synonym ‘Const’ should have 2 arguments, but has been given 1
4     • In the type signature:
5         test :: Thing (Const Int) -> Thing (Const Int)