deep-map

A DeepMap is a map that has several layers of keys.

typeDeepMap:: [Type] ->Type->TypedataDeepMapksvwhereCore::v->DeepMap '[]vWrap::Mapk (DeepMapksv) ->DeepMap (k ':ks) v

For a given (k ': ks) :: [Type], the type DeepMap (k ': ks) v is isomorphic to lists of the form [(k, k0, .., kn, v)] where ks = '[k0, ..., kn], but with better performance.