blob: 23afa16ba3308164d36943bbb619f3ab4323b399 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
tcfail080.hs:27:1:
Could not deduce (Collection c0 a)
arising from the ambiguity check for ‛q’
from the context (Collection c a)
bound by the inferred type for ‛q’: Collection c a => a -> Bool
at tcfail080.hs:27:1-27
The type variable ‛c0’ is ambiguous
When checking that ‛q’
has the inferred type ‛forall (c :: * -> *) a.
Collection c a =>
a -> Bool’
Probable cause: the inferred type is ambiguous
|