blob: e4febcfb4cc8082995e95b3154048d51ef357650 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T8603.hs:33:17: error:
• Couldn't match kind ‘*’ with ‘* -> *’
When matching types
m0 :: * -> *
[a2] :: *
Expected: [a2] -> StateT s RV a0
Actual: t0 m0 (StateT s RV a0)
• The function ‘lift’ is applied to two value arguments,
but its type ‘m0 (StateT s RV a0) -> t0 m0 (StateT s RV a0)’
has only one
In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
In the expression:
do prize <- lift uniform [1, 2, ....]
return False
|