Parameter Make.I

type t
val kind : t kind