blob: 2fd7240182a6894ed194a5f24250d6d709da8668 (
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’:
forall (c :: * -> *) a. 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
|