Standard vector space and standard modules

Stream: Is there code for X?

[Jiang Jiedong]

Hi everyone,
What is the best way of expressing a standard vector space $k^n$ when $k$ is a field or the module $R^n$ when $R$ is a commutative ring?

[Ruben Van de Velde]

Fin n -> k