blob: b25e1fca91d6c6d36c3c52e230ebea63f83debc3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T5853.hs:15:52: error:
• Could not deduce: Subst fa1 (Elem fb) ~ fb
arising from a use of ‘<$>’
from the context: (F fa, Elem fb ~ Elem fb,
Subst fa (Elem fb) ~ fb, Subst fb (Elem fa) ~ fa, F fa1,
Elem fa1 ~ Elem fa1, Elem fa ~ Elem fa, Subst fa1 (Elem fa) ~ fa,
Subst fa (Elem fa1) ~ fa1)
bound by the RULE "map/map" at T5853.hs:15:2-57
‘fb’ is a rigid type variable bound by
the RULE "map/map"
at T5853.hs:15:2-57
• In the expression: (f . g) <$> xs
When checking the rewrite rule "map/map"
• Relevant bindings include
f :: Elem fa -> Elem fb (bound at T5853.hs:15:19)
g :: Elem fa1 -> Elem fa (bound at T5853.hs:15:21)
xs :: fa1 (bound at T5853.hs:15:23)
|
