Module type PolyMap.Tag

type _ tag = ..