(R : Type uR) →
  (ι : Type uι) →
    {M₂ : Type v₂} →
      [inst : CommSemiring R] →
        [inst_1 : AddCommMonoid M₂] → [inst_2 : Module R M₂] → [Fintype ι] → M₂ → MultilinearMap R (fun x => R) M₂