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

[Stuart Hungerford]

On Tue, Oct 5, 2021 at 3:05 AM Henning Thielemann
<lemming at henning-thielemann.de> 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.

I hadn't thought of that -- thanks.

Stu