Module type Make.OneTag

type a
type Tag.tag +=
| T : a Tag.tag