blob: e70a256f984fd738a922aca8f49d0235c8b9cba0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T1897b.hs:16:1: error:
• Couldn't match type ‘Depend a’ with ‘Depend a0’
NB: ‘Depend’ is a type function, and may not be injective
The type variable ‘a0’ is ambiguous
Expected type: t (Depend a) -> Bool
Actual type: t (Depend a0) -> Bool
• In the ambiguity check for the inferred type for ‘isValid’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
isValid :: forall a (t :: * -> *).
(Bug a, Foldable t) =>
t (Depend a) -> Bool
|