С языковыми флагами Safe, Trustworthy и Unsafe GHC расширяет синтаксис объявления импорта, добавляя необязательное ключевое слово safe после ключевого слова import. Эта возможность является частью расширения GHC Safe Haskell. Например:
import safe qualified Network.Socket as NS
импортирует модуль Network.Socket, причём компиляция завершается успешно только в том случае, если Network.Socket можно безопасно импортировать. Описание условий, при которых импорт считается безопасным, см. в разделе Safe Haskell.