В некоторых случаях я разрабатываю API с использованием классов типов, однако я столкнулся с проблемой неявного разрешения. Как показано ниже, если существует неявный объект для типа A, но объект типа B ...

Я определил следующий модуль для помощи мне с экспортом функции FFI: {-# ЯЗЫК MultiParamTypeClasses, FunctionalDependencies, TypeSynonymInstances #-} модуль ExportFFI, где Внешний импорт...