blob: f13b6c1cd0131e4f75f2ccae61092b9a8ebc0770 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T12648.hs:76:2: error:
• Couldn't match type ‘a’ with ‘()’
Expected: m a
Actual: m ()
‘a’ is a rigid type variable bound by
the type signature for:
f :: forall (m :: * -> *) a. MonadBaseUnlift m IO => m a
at T12648.hs:71:1-34
• In a stmt of a 'do' block: return ()
In the expression:
do _ <- askUnliftBase
return ()
In an equation for ‘f’:
f = do _ <- askUnliftBase
return ()
• Relevant bindings include f :: m a (bound at T12648.hs:72:1)
|
