Parameter M.K

type t