Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail121.stderr
1
2 tcfail121.hs:13:9:
3     Overlapping instances for Foo [a] arising from a use of ‘op’
4     Matching instances:
5       instance [overlappable] Foo a => Foo [a]
6         -- Defined at tcfail121.hs:9:31
7       instance [overlapping] Foo [Int] -- Defined at tcfail121.hs:10:30
8     (The choice depends on the instantiation of ‘a’
9      To pick the first instance above, use IncoherentInstances
10      when compiling the other instance declarations)
11     In the expression: op x
12     In an equation for ‘foo’: foo x = op x