blob: 0176ffe2ec857ad5d1357cfe7f8ad1f277321721 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
NoMatchErr.hs:19:7:
Could not deduce (Memo d0 ~ Memo d)
from the context (Fun d)
bound by the type signature for f :: Fun d => Memo d a -> Memo d a
at NoMatchErr.hs:19:7-37
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:
forall d a. Fun d => Memo d a -> Memo d a
In the type signature for `f': f :: Fun d => Memo d a -> Memo d a
|