A Pointless Library Proposal

Russell O'Connor roconnor at theorem.ca
Tue Oct 24 17:56:55 EDT 2006

Conor McBride <ctm <at> Cs.Nott.AC.UK> writes:

> Elements of Zero are rather special, powerful things.
> > magic :: Zero -> a
> > magic _ = error "There's magic, as no such thing!"

Why have a function body at all?  Shouldn't the type signature be sufficent?

More information about the Libraries mailing list