blob: 8973e8690ec086913c1bdbff5f24964def789e46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
• 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)
|