[Haskell-cafe] Thoughts about redesigning "Num" type class

[M Farkas-Dyck]

On 11/09/2015, David Thomas <davidleothomas at gmail.com> wrote:
> a subtraction operation that returns a different type

On 12/09/2015, Alexey Muranov <alexey.muranov at gmail.com> wrote:
> My 2 cents: the difference of two points in an affine space is a vector,
> the sum of a point of an affine space and a vector is another point.

This would mean multi-parametre type classes or type families, so we'd
need to canonicalize them first, which seems unlikely in near future
at least.