为字典实现 Applicative 实例(Map、关联数组)

hyi*_*tiz 5 haskell functional-programming separation-of-concerns data-structures

为关联数组实现函子实例(本质上是一个映射操作)似乎很简单(例如参见Functor定义 [1])。但是,Applicative未定义实例。Maps 不是 Applicatives 是否有很好的理论理由?要使它们成为 Applicative,还需要哪些额外的约束?

[1] https://hackage.haskell.org/package/containers-0.6.3.1/docs/Data-Map-Strict.html