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

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. On Saturday, September 12, 2015 at 8:50:58 AM UTC+2, David Thomas wrote:

I think we definitely want to keep subtraction separate, and maybe even allow for a subtraction operation that returns a different type...