blob: 4b144f85f6e3df5ca39650d4524076fdfb99b67f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T1900.hs:7:3: error:
• Couldn't match type ‘Depend s0’ with ‘Depend s’
Expected type: Depend s -> Depend s
Actual type: Depend s0 -> Depend s0
NB: ‘Depend’ is a non-injective type family
The type variable ‘s0’ is ambiguous
• In the ambiguity check for ‘trans’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
trans :: forall s. Bug s => Depend s -> Depend s
In the class declaration for ‘Bug’
|