3dc36ad75862230fa774b930d74dea58440853b3
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
1 \r
2 T5853.hs:15:52:\r
3     Could not deduce: fb ~ Subst (Subst (Subst fb b) a) (Elem fb)\r
4     from the context: (F (Subst fb b),\r
5                        Elem (Subst fb b) ~ b,\r
6                        Subst (Subst fb b) (Elem fb) ~ fb,\r
7                        F (Subst (Subst fb b) a),\r
8                        Elem (Subst (Subst fb b) a) ~ a,\r
9                        Elem (Subst fb b) ~ b,\r
10                        Subst (Subst (Subst fb b) a) b ~ Subst fb b)\r
11       bound by the RULE "map/map" at T5853.hs:15:2-57\r
12       ‘fb’ is a rigid type variable bound by\r
13            the RULE "map/map" at T5853.hs:15:2\r
14     Relevant bindings include\r
15       f :: b -> Elem fb (bound at T5853.hs:15:19)\r
16       g :: a -> b (bound at T5853.hs:15:21)\r
17       xs :: Subst (Subst fb b) a (bound at T5853.hs:15:23)\r
18     In the expression: (f . g) <$> xs\r
19     When checking the transformation rule "map/map"\r