Типовая проверка сгенерированного кода с доступом к динамически загруженному коду в Haskell

Мне нужен быстрый способ (1000 типовых проверок в секунду) для типовой проверки сгенерированного исходного кода Haskell.

Мы попробовали hint, который был достаточно быстрым, но он не может получить доступ к динамически загруженному коду, если только исходный код не доступен, которого у нас не будет в некоторых случаях. Может быть, есть способ зарегистрировать динамически загружаемый код как пакет или что-то в этом роде, поскольку hint может получить доступ к зарегистрированным пакетам?

Мы попробовали использовать ghc api, но, похоже, он требует, чтобы файлы были на диске, а все необходимые файловые операции ввода-вывода делают его слишком медленным.

Мы можем использовать haskell-src-exts для генерации кода, но нам нужно его проверить.