字符串到 IO 字符串（条件 mapM）

问：

我正在开发我的第一个 Haskell 工具（耶！），但我似乎找不到解决这个问题的方法。大多数帖子都讨论将 a 转换为 ，但我实际上需要做相反的事情，因为我有条件地在 里面使用 。StringIO StringreadFilemapM

我相信有更好的方法可以做到这一点，但这是我目前所得到的。这将解析源文件（不相关的语言），并将语句替换为包含文件的实际内容。#include

replaceInclude :: String -> IO String
replaceInclude contents = do
    f_lines <- mapM
            (\l ->
                if (isInfixOf "#include" l)
                then readFile (parseIncludePath l)
                else l -- !! This is the problem line !!
            )
            (lines contents)
   
    return (unlines f_lines)

如注释中所述，问题行是语句，它返回 ，但期望 .elseStringmapMIO String

任何帮助将不胜感激，我相信我必须重新连接我的大脑才能以“haskell方式”做到这一点:)

编译错误：

* Couldn't match type `[]' with `IO'
  Expected type: IO String
    Actual type: [Char]