Parameter Hlist.D

type t
val hcons : t f