The numeric c types are (effectively) integral, too.

Henning Thielemann lemming at
Wed Mar 27 23:20:18 CET 2013

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.

More information about the Libraries mailing list