Module Tag.Key

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