Module Type.TypeMap

module TypeMap: Map.S  with type key = t
Map over types