Module type Make.OneTag

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