blob: a0c2735c267a54cad9887c9f7fce8d535745094a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail098.hs:13:10: error:
• Could not deduce (Bar a0)
from the context: Bar a
bound by an instance declaration:
forall a. Bar a => Bar Bool
at tcfail098.hs:13:10-26
The type variable ‘a0’ is ambiguous
• In the ambiguity check for an instance declaration
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ‘Bar Bool’
|