blob: cbaa0aceeb40cecd610ac03032daced479ebbb14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
tc168.hs:17:1:
Could not deduce (C a1 (a, b0))
arising from the ambiguity check for `g'
from the context (C a1 (a, b))
bound by the inferred type for `g': C a1 (a, b) => a1 -> a
at tc168.hs:17:1-16
The type variable `b0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Possible fix: add an instance declaration for (C a1 (a, b0))
When checking that `g'
has the inferred type `forall a b a1. C a1 (a, b) => a1 -> a'
Probable cause: the inferred type is ambiguous
|