Haskell :карта runST

У меня есть привязка для типа [ST s (Int, [Int])], и я пытаюсь применить runSTк каждому элементу, используя карту следующим образом:

name :: [ST s (Int, [Int])] --Of Course there is a real value here
map runST name

Это дает мне сообщение об ошибке

Couldn't match expected type `forall s. ST s b0'
    with actual type `ST s0 (Int, [Int])'
Expected type: [forall s. ST s b0]
  Actual type: [ST s0 (Int, [Int])]
In the second argument of `map', namely `name'
In the expression: map runST name

Должно быть что-то, что я неправильно понимаю. Я знаю о runST и композиции функций , но не уверен, применимо ли это.

Спасибо всем за время!