haskell - 如何在不重新实现 Haskell 中所有可能的 SqlField 的情况下创建 SqlField 的异构映射

Question

我想使用该postgresql-simple库来构造 SqlValues 的 Map 或 HashMap。我知道这样做的一种方法是将所有 SqlValue 重新定义为一个通用类型ala

data SqlValue = SqlInt Int
              | SqlString String
              | SqlJson Value
              etc

但是我想知道是否有一种更有效的方法可以做到这一点，我可以创建一个映射，允许它的值是实现FromField类的任何类型。

是否有可能至少通过使用TypeFamilies或类似的方法来减少与之相关的开销，我可以采取使该类型的每个实例也需要一个FromField

最终目标是让 postgresql-simple 产生以下内容：

[Map SqlColumnName SqlValue]