使用GHC api重写程序

Question

我正在尝试编写一段执行以下操作的代码

1. 将Haskell模块作为输入
2. 解析并输入检查输入模块
3. 查找模块中具有类型IO a
的所有表达式
4. 添加类型IO的功能a - ＆gt; IO a到每个表达式
5. 编译并运行重写的模块

我一直在挖掘GHC api以帮助实现这一目标，但对于那些刚接触严肃的Haskell开发的人来说，它是相当难以理解的。我尝试阅读GHC as a library wiki page但他们做出的许多决定（例如他们选择的DynFlags）都没有澄清。任何提示或地方都会非常有用！