PatriciaTree.HomogeneousValue
To use when the type of the value is the same (but the keys can still be heterogeneous).
type ('a, 'map) t = 'map