blob: 6f12341c062acca4b415369a686edb8ac61a9a7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T12648.hs:76:9: error:
• Couldn't match expected type ‘a’ with actual type ‘()’
‘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 the first argument of ‘return’, namely ‘()’
In a stmt of a 'do' block: return ()
In the expression:
do _ <- askUnliftBase
return ()
• Relevant bindings include f :: m a (bound at T12648.hs:72:1)
|