如何在Haskell中进行多态解析

我试图将一个CSV文件夹解析为一个不同特定类型的类,然后将其编译为一个XLSX。我有不同的数据类型来表示记录,因为尽管所有这些都属于同一类,但它们有不同的字段和解析方法:

data RecordTypeA = RecordTypeA { ... }
data RecordTypeB = RecordTypeB { ... }

instance MyItemClass RecordTypeA where
  ...
instance MyItemClass RecordTypeB where
  ...

-- and loads of instances for parsing, serialising, etc..

在尝试这样做时,我遇到了两个问题:

首先,我不能编写一个需要 FilePath 作为输入,并返回适用于该文件的记录列表(我根据文件名决定)。我遇到了“刚性类型变量”错误(类似于 Rigid type variable in Haskell ). 我想这是一种动态调度,但我不知道如何在haskell中实现它。

parseRecords :: FilePath -> ExceptT ProgrammeError IO [a]
parseRecords = {- parses based on the file name -}
-- uh oh: "... a is a rigid type variable ..."

其次,如果我有这个函数,我不完全确定我将如何表示这些多态类型的列表,因为它必须是一个异构列表,所有这些列表都受它们是某组类型类的成员这一事实的约束。我事先不知道会有多少不同类型的文件。

processFiles :: FilePath -> ExceptT ProgrammeError IO (Compiled a)
processFiles = ???

如何在Haskell中实现这种多态解析?