12 Sep
2015
12 Sep
'15
8:51 a.m.
On 11/09/2015, David Thomas
a subtraction operation that returns a different type
On 12/09/2015, Alexey Muranov
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.