Turn implicitly declared variables explicit in definition

Stream: new members

[Vivek Rajesh Joshi]

import Mathlib.Data.Matrix.Notation

variable {F : Type} [Field F] [DecidableEq F]

-- [0,0,..(z times)..,0,first_nz,[tail]]
structure row (F : Type) [Field F] [DecidableEq F] where
  z : Nat
  first_nz : F
  tail : List F

Is there a shorter, cleaner way to make F an implicit parameter in row?