Parameter Hlist.1-D

type t
val hcons : t f