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 ?