> However the problem comes when I try and use runST to run it... >=20 > runMatrix :: Array (Int,Int) Int > runMatrix =3D runST $ wrapper >=20 > This is becase 's' escapes > Expected: ST s a -> b > Inferred: (forall s1. ST s1 a) -> a Delete the dollar? Cheers, Simon