haskell генерирует код оболочки экспорта FFI

Я пишу код на Haskell, который должен вызываться из C. Есть ли инструмент или библиотека на Haskell, которые упрощают написание кода-оболочки FFI для функций Haskell, которые необходимо экспортировать.

Например, инструмент, которому предоставлена ​​экспортируемая функция haskell, позаботится (сгенерирует код-оболочку) о сопоставлении типов haskell с правильными типами Foreign.C и т. д. по мере необходимости. Это также позаботится о создании правильных указателей при отображении типов [Int] и т. д. Как и то, что пытается здесь сделать спрашивающий Автоматическое преобразование типов для вызовов FFI в Haskell. Но доступен ли он только как библиотека?