У меня есть два файла .hs: один содержит новое объявление типа, а другой использует его.

first.hs:

module first () where
    type S = SetType
    data SetType = S[Integer]  

second.hs:

module second () where
    import first 

Когда я запускаю second.hs, оба модуля первый, второй загружаются просто отлично.

Но когда я пишу:type S на платформе Haskell, появляется следующая ошибка

Не в области: конструктор данных 'S'

Примечание: в каждом модуле наверняка есть несколько функций, ям просто пропустил это для краткости