A Pointless Library Proposal

[Samuel Bronson]

On 10/24/06, Russell O'Connor <roconnor at theorem.ca> wrote:
> 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?

Remember that type signatures need not be adjacent to function
definitions. Now ponder what would happen if you forgot to define a
function. Have a clue why it isn't sufficient now?