blob: 8bd5a24d68b90d6b5f46333cd739c77cc0a3561d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T7729a.hs:36:26:
Couldn't match type ‘BasePrimMonad m’ with ‘t0 (BasePrimMonad m)’
The type variable ‘t0’ is ambiguous
Expected type: BasePrimMonad (Rand m) a
Actual type: t0 (BasePrimMonad m) a
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)
In the first argument of ‘liftPrim’, namely ‘(lift x)’
In the expression: liftPrim (lift x)
|