Haskell - 是什么让“main”独一无二？

有了这个代码：

main :: FilePath -> FilePath -> IO ()
main wrPath rdPath = do x <- readFile rdPath
                        writeFile wrPath x

我收到以下错误：

Couldn't match expected type 'IO t0'
            with actual type 'FilePath -> FilePath -> IO()

但是当我将“main”的名称更改为其他名称时，该文件可以正确编译。

main 有什么独特之处以及为什么它的类型必须是IO t0?

因为语言规范says so.

Haskell 程序是模块的集合，按照惯例，必须调用其中一个模块Main并且必须导出该值main。程序的值就是标识符的值main在模块中Main，它必须是类型的计算IO t对于某些类型t（见第 7 章）。当程序执行时，计算main被执行，其结果（类型t）被丢弃。