Parameter Make.I

type t
val vk : {vector_kind}1