Haskell Map 其中键的类型决定了值的类型

Question

有没有办法以值的类型取决于键的类型的方式使用 Data.Map？我需要确保我永远不会在地图中插入错误的类型值。

例如： 假设我有 KeyType a 和 ValType a 类型 那么 Map 的类型应该类似于

Map (KeyType a) (ValType a)

但这显然行不通，因为a 未绑定。

Answer 1

您可以使用类型同义词绑定a，这样您的KeyType 和ValType 必须相同：

type MapFor a = Map (KeyType a) (ValType a)

现在您可以在任何您会使用Map (KeyType a) (ValType a) 的地方使用MapFor a（对于某些特定的a）。