blob: ea0331b3dc30bff5dfe4ff3920c10b13f861f21a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T7220a.hs:17:6:
Could not deduce (C a b)
from the context: (C a0 b, TF b ~ Y)
bound by the type signature for: f :: (C a0 b, TF b ~ Y) => b
at T7220a.hs:17:6-44
Possible fix:
add (C a b) to the context of
the type signature for: f :: (C a0 b, TF b ~ Y) => b
In the ambiguity check for the type signature for âfâ:
f :: forall a. (forall b. (C a b, TF b ~ Y) => b) -> X
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for âfâ:
f :: (forall b. (C a b, TF b ~ Y) => b) -> X
|