Re: A Pointless Library Proposal

G'day all. Quoting John Meacham :

but since 'Zero' is often used in type arithmetic implementations (even though those uses arn't entirely incompatable) I think we should name it something else.

Actually, this works fine. data Zero data Succ a class Add a b c | a b -> c instance Add Zero b b instance (Add a b c) => Add (Succ a) b (Succ c) It does smell like semantic overloading, though. Cheers, Andrew Bromage