[jules]

By the same logic scanl should just have the type:

    (b -> IO a) -> [b] -> IO [a]

instead of

    (a -> b -> a) -> a -> [b] -> [a]

Just putting the whole thing in the IO/ST monad isn't the right solution when you need a very specific form of local state.