Что я могу сделать, чтобы устранить unsafePerformIO в этом коде Reflex.Dom?

main = mainWidget $
  el "div" $ do
    let fileInputConfig = FileInputConfig (constDyn Map.empty)
    fi <- fileInput fileInputConfig

    let uploads   :: Dynamic t [File]            = value fi
    upload        :: Dynamic t (Maybe File)      <- (return . fmap headMay) uploads
    getNameAction :: Dynamic t (Maybe (IO Text)) <- (return . fmap (getNameText <$>)) upload
    filename      :: Dynamic t (Maybe Text)      <- (return . fmap (unsafePerformIO <$>)) getNameAction

    el "div" $ dynText (show <$> filename)
  return ()
  where getNameText :: MonadIO m => File -> m Text
        getNameText = getName

Я изо всех сил старался играть в «соедини точки» с типами, но не мог найти выход без использования unsafePerformIO. Я думаю, что в данном случае это безопасно, но, очевидно, есть и другие подобные вещи, которые вы, возможно, захотите сделать, но которые не были бы безопасными.