default instance for IsString

J. Garrett Morris jgmorris at
Tue Apr 24 08:14:27 CEST 2012

On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <gale at> wrote:
> This is true; the use of polymorphism for numeric literals is also
> unsound.

By this logic, head is "unsound", since head [] throws an error.
Haskell types are pointed; Haskell computations can diverge.  What
happens after the computation diverges is irrelevant to type soundness.


"Would you be so kind as to remove the apricots from the mashed potatoes?"

More information about the Glasgow-haskell-users mailing list