Module Hlist.Id

type 'a t = 'a