Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail214.stderr
1
2 tcfail214.hs:9:10: error:
3     • The constraint ‘F a’ is no smaller than the instance head
4       (Use UndecidableInstances to permit this)
5     • In the instance declaration for ‘C [a]’