Я написал модуль, и для запуска основного кода, в который импортируется модуль, необходимо иметь расширение языка {-# LANGUAGE OverloadedStrings #-}
или параметр, который необходимо указать, когда что-то компилируются конечно.
Если я включу {-# LANGUAGE OverloadedStrings #-}
в модуль, это не поможет, и пользователю все равно придется делать то же самое в своем коде или при компиляции.
Можно ли как-нибудь сделать «что-то» в самом модуле, чтобы снять эту проблему с конечного пользователя и, так сказать, «скрыть» требуемое языковое расширение?