Haskell 什么是n维空间上用于快速最近邻搜索的纯函数数据结构？

我正在寻找一个带有API的纯功能数据结构，如：

insert  :: Vector n Int -> Struct n -> Struct n
remove  :: Vector n Int -> Struct n -> Struct n
nearest :: Vector n Int -> Struct n -> Vector n Int

---

或者它的一些变体，提供快速插入、删除和查询n维空间中最近的元素。什么是数据结构？

有一个从二维到n的自然概括。

对于n维空间，也有一个。

推荐数据结构与推荐图书馆或外部资源根本不同。这个问题很好，不应该关闭。如果维数不太高，k-d树工作得很好。我想知道是否有专门用于该操作的结构，四叉树/k-d树通常更强大。