Объединение монад StateT и State

Допустим, у меня есть функция

f :: State [Int] Int

и функция:

g :: StateT [Int] IO Int

Я хочу использовать f в g и передавать состояние между их. Существует ли библиотечная функция для
StateT (return. runState f) ? Или вообще, для преобразователя монад с соответствующей монадой существует библиотечная функция для него?