Haskell映射键的类型决定值的类型的地图

Question

有没有一种方法可以使用Data.Map，使得值的类型取决于键的类型？我需要确保我从不在地图中输入错误的类型值。

例如： 比方说，我有类型KeyType a和ValType a 那么地图应该有类似的类型

Map (KeyType a) (ValType a)

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

Answer 1

可以使用一种类型的代名词绑定a，以便它必须是相同的您KeyType和ValType：

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

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