blob: 5a0443bfa1a0235e6dec6b052d88ed46fb4bc88f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
NoMatchErr.hs:19:7:
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 the type signature for ‘f’:
f :: forall d a. Fun d => Memo d a -> Memo d a
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature for ‘f’: f :: (Fun d) => Memo d a -> Memo d a
|