Module Tag.Key

type t =
  1. | V : 'a def -> t