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?