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