blob: 73f1cbc1572b11c1f2d8b1009f21b600ac6be66c (
plain)
1
2
3
4
5
6
7
8
9
10
|
NoMatchErr.hs:19:7: error:
Couldn't match type ‘Memo d0’ with ‘Memo d’
NB: ‘Memo’ is a type function, and may not be injective
The type variable ‘d0’ is ambiguous
Expected type: Memo d a -> Memo d a
Actual type: Memo d0 a -> Memo d0 a
In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: (Fun d) => Memo d a -> Memo d a
|