Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T11948.stderr
1
2 T11948.hs:21:18: error:
3     • Could not deduce (Bar (F zq) zq) arising from a use of ‘bar’
4       from the context: Bar (Foo (F zq)) (Foo zq)
5         bound by the type signature for:
6                    bug :: Bar (Foo (F zq)) (Foo zq) => Foo (F zq) -> Foo zq
7         at T11948.hs:(19,1)-(20,38)
8     • In the expression: bar sk :: Foo zq
9       In an equation for ‘x’: x = bar sk :: Foo zq
10       In the expression: let x = bar sk :: Foo zq in x