blob: 5e8a4ee16413d2de074385896a11532362f8ff04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
FD3.hs:15:15:
Couldn't match type `a' with `(String, a)'
`a' is a rigid type variable bound by
the type signature for translate :: (String, a) -> A a
at FD3.hs:15:1
When using functional dependencies to combine
MkA a a,
arising from the dependency `a -> b'
in the instance declaration at FD3.hs:12:10
MkA (String, a) a, arising from a use of `mkA' at FD3.hs:15:15-17
In the expression: mkA a
In an equation for `translate': translate a = mkA a
|