Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5853.stderr
1
2 T5853.hs:15:46: error:
3     • Could not deduce: Subst (Subst t2 t) t1 ~ Subst t2 t1
4         arising from a use of ‘<$>’
5       from the context: (F t2,
6                          Elem t2 ~ Elem t2,
7                          Elem (Subst t2 t1) ~ t1,
8                          Subst t2 t1 ~ Subst t2 t1,
9                          Subst (Subst t2 t1) (Elem t2) ~ t2,
10                          F (Subst t2 t),
11                          Elem (Subst t2 t) ~ t,
12                          Elem t2 ~ Elem t2,
13                          Subst (Subst t2 t) (Elem t2) ~ t2,
14                          Subst t2 t ~ Subst t2 t)
15         bound by the RULE "map/map" at T5853.hs:15:2-57
16       NB: ‘Subst’ is a type function, and may not be injective
17     • In the expression: (f . g) <$> xs
18       When checking the transformation rule "map/map"
19     • Relevant bindings include
20         f :: Elem t2 -> t1 (bound at T5853.hs:15:19)
21         g :: t -> Elem t2 (bound at T5853.hs:15:21)
22         xs :: Subst t2 t (bound at T5853.hs:15:23)