3 A type signature is more polymorphic than the inferred type
4 Can't for-all the type variable(s) `a1jV'
5 in the type `ST a1jV a1jR'
6 In the first argument of `runST', namely `(itrapstate' i k s)'
7 In an equation for function `itrapstate':
8 itrapstate ((i, k), (j, l)) f c d s arr
9 = runST (itrapstate' i k s)
15 ((readArray arr (i, (k)))
17 -> let (newstate, newval) = f (c (i, (k)) s) val
23 ((itrapstatesnd i k s)
24 >>= (\ (s, arr) -> itrapstate' i (k + 1) s))
27 A type signature is more polymorphic than the inferred type
28 Can't for-all the type variable(s) `a1mG'
29 in the type `ST a1mG a1mC'
30 In the first argument of `runST', namely `(itrap' i k)'
31 In an equation for function `itrap':
32 itrap ((i, k), (j, l)) f arr
39 ((readArray arr (i, (k)))
41 -> (writeArray arr (i, (k)) (f val))
42 >> (itrapsnd (... + 1) k)))
47 ((itrapsnd i k) >> (itrap' i (k + 1)))
50 A type signature is more polymorphic than the inferred type
51 Can't for-all the type variable(s) `a1nb'
52 in the type `ST a1nb a1n1'
53 In the first argument of `runST', namely
55 >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
56 In an equation for function `itiap':
58 = runST ((readArray arr i)
59 >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))
62 A type signature is more polymorphic than the inferred type
63 Can't for-all the type variable(s) `a1ob'
64 in the type `ST a1ob a1o7'
65 In the first argument of `runST', namely
66 `(newArray ((1, (1)), (n)) x)'
67 In an equation for function `itgen':
68 itgen n x = runST (newArray ((1, (1)), (n)) x)
71 Compilation had errors