blob: ca106246e78d2419a54e32e22aee94960e49f17b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T12538.hs:37:8: error:
• Could not deduce: a' ~ Tagged Int a
from the context: (TagImpl a a', b ~ DF a')
bound by the instance declaration at T12538.hs:36:10-46
‘a'’ is a rigid type variable bound by
the instance declaration at T12538.hs:36:10-46
Expected type: a -> b
Actual type: a -> DF (Tagged Int a)
• In the expression: DF . tag
In an equation for ‘df’: df = DF . tag
In the instance declaration for ‘ToDF a b’
• Relevant bindings include df :: a -> b (bound at T12538.hs:37:3)
|
