иметь тип ByteString -> Text, что есть ложь. чем это принципиально лучше unsafePerformIO, превращающего ByteString -> IO Text в ByteString -> Text?
ну как минимум там появляются варианты с foreign import safe и interruptible
также есть: > ForeignFunctionInterface — This is mostly safe, but foreign import declarations that import a function with a non-IO type are disallowed. All FFI imports must reside in the IO Monad.
Обсуждают сегодня