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.
