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

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