blob: 6f98877b84a90b94d5a1dfc666a7dd3018ffb12a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
FD1.hs:16:1:
Could not deduce (a ~ (Int -> Int))
from the context (E a (Int -> Int))
bound by the type signature for
plus :: E a (Int -> Int) => Int -> a
at FD1.hs:16:1-16
`a' is a rigid type variable bound by
the type signature for plus :: E a (Int -> Int) => Int -> a
at FD1.hs:16:1
The equation(s) for `plus' have two arguments,
but its type `Int -> a' has only one
|
