27 Mar
2013
27 Mar
'13
6:20 p.m.
On Wed, 27 Mar 2013, Jeff Shaw wrote:
Your argument can also be used to say that C values with the unit "grapheme" shouldn't be allowed division, either. However, they are. Do you think we should remove the Integral instance for CChar?
Would be better.
Furthermore, CTime is an instance of Num, which means that you can do multiplication on CTime values. Do you think we should remove that? After all, Time * Time is Time ^2, not Time.
If someone had asked me, I would have reject it.