blob: 34ef48e1794733c88df68d070b02c3e1de744362 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T7729a.hs:36:26: error:
• Couldn't match type: BasePrimMonad m
with: t0 m0
Expected: BasePrimMonad (Rand m) a
Actual: t0 m0 a
• In the first argument of ‘liftPrim’, namely ‘(lift x)’
In the expression: liftPrim (lift x)
In an equation for ‘liftPrim’: liftPrim x = liftPrim (lift x)
• Relevant bindings include
x :: BasePrimMonad (Rand m) a (bound at T7729a.hs:36:12)
liftPrim :: BasePrimMonad (Rand m) a -> Rand m a
(bound at T7729a.hs:36:3)
|