Module Make.Packed

type t =
| T : 'a Key.t * 'a data -> t