1 \r
2 T2714.hs:8:5:\r
3     Couldn't match type ‘a’ with ‘f0 b’\r
4       ‘a’ is a rigid type variable bound by\r
5           the type signature for: f :: ((a -> b) -> b) -> forall c. c -> a\r
6           at T2714.hs:7:6\r
7     Expected type: ((a -> b) -> b) -> c -> a\r
8       Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b\r
9     Relevant bindings include\r
10       f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1)\r
11     In the expression: ffmap\r
12     In an equation for ‘f’: f = ffmap\r
13 \r
14 T2714.hs:8:5:\r
15     Couldn't match type ‘c’ with ‘f0 (a -> b)’\r
16       ‘c’ is a rigid type variable bound by\r
17           the type signature for: f :: ((a -> b) -> b) -> c -> a\r
18           at T2714.hs:8:1\r
19     Expected type: ((a -> b) -> b) -> c -> a\r
20       Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b\r
21     Relevant bindings include\r
22       f :: ((a -> b) -> b) -> forall c. c -> a (bound at T2714.hs:8:1)\r
23     In the expression: ffmap\r
24     In an equation for ‘f’: f = ffmap\r