co-maintainers welcome lssndrbarbieri@gmail.com Alessandro Barbieri Gmap exposes the functor `Make` which takes a key type (a [GADT](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type) 'a key) and outputs a type-safe Map where each 'a key is associated with a 'a value. This removes the need for additional packing. It uses OCaml's stdlib [Map](http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html) data structure. https://hannesm.github.io/gmap/doc https://github.com/hannesm/gmap/issues hannesm/gmap Hannes Mehnert hannes@mehnert.org