В Haskell имя модуля и имя файла, содержащего модуль, должны совпадать. Проблема заключается не только в имени файла, но и в включении полного пути, поэтому вам нужно (AFAIK) создать структуру каталогов, соответствующую иерархии модулей, что немного раздражает.

Например, предположим, что я пишу тип данных D в модуле M, который, я думаю, должен быть вDatabase, Название модуля должно бытьDatabase.M.T, Поскольку мой основной каталог уже называется M (имя пакета), я получаю следующую структуру каталогов:

M:
|
+-- Database:
    |
    +-- M:
        |
        + A.hs

Можно ли просто сделать:

M:
|
+ A.hs

И экспортM какDatabase.M ?