У меня есть привязка для типа [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 и состав функций, но не уверен, что это применимо.
Спасибо за любое время!