blob: 21ca3aa8a61bb1c494ac37fb9ff2641c3315765c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
tcfail080.hs:27:1: error:
Could not deduce (Collection c0 a)
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
In the ambiguity check for the inferred type for ‘q’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
q :: forall (c :: * -> *) a. Collection c a => a -> Bool
|