A Pointless Library Proposal

[ajb at spamcop.net]

G'day all.

Quoting John Meacham <john at repetae.net>:

> 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