blob: 3b2c7c9fc10814123370987721c5e358b40c6cc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
ado005.hs:8:3: error:
• Could not deduce ‘Monad f’ arising from a do statement
from the context: Applicative f
bound by the type signature for:
test :: forall (f :: * -> *).
Applicative f =>
(Int -> f Int) -> f Int
at ado005.hs:6:1-48
Possible fix:
add (Monad f) to the context of
the type signature for:
test :: forall (f :: * -> *).
Applicative f =>
(Int -> f Int) -> f Int
• In a stmt of a 'do' block: x <- f 3
In the expression:
do x <- f 3
y <- f x
return (x + y)
In an equation for ‘test’:
test f
= do x <- f 3
y <- f x
return (x + y)
|