[Haskell-cafe] Vectors, vector spaces and type-level Haskell

[Henning Thielemann]

On Mon, 4 Oct 2021, Stuart Hungerford wrote:

> I'd like to model in Haskell two-dimensional vectors that "belong to"
> or "have an ambient space of" a two dimensional vector space.

If you only need two dimensional vectors, you might be happy with 
Data.Complex.