Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T2714.stderr
1
2 T2714.hs:8:5: error:
3     • Couldn't match type ‘a’ with ‘f0 b’
4       ‘a’ is a rigid type variable bound by
5         the type signature for:
6           f :: forall a b. ((a -> b) -> b) -> forall c. c -> a
7         at T2714.hs:7:1-42
8       Expected type: ((a -> b) -> b) -> c -> a
9         Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b
10     • In the expression: ffmap
11       In an equation for ‘f’: f = ffmap
12     • Relevant bindings include
13         f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1)