Изменение записанных данных в монаде Writer

Имея действие монады Writer, я хочу модифицировать его, отображая над записанными данными внутри действия монады.

Что-то вроде:

retell :: (w -> w') -> Writer w a -> Writer w' a

Такая функция уже есть в библиотеках? Если нет, то как его можно определить?